@inproceedings{474c32c2fa2644ecb4159da7ddd0e809,
title = "The Oz-E project : design guidelines for a secure multiparadigm programming language",
abstract = "The design and implementation of a capability secure multi-paradigm language should be guided from its conception by proven principles of secure language design. In this position paper we present the Oz-E project, aimed at building an Oz-like secure language, named in tribute of E [MMF00] and its designers and users who contributed greatly to the ideas presented here. We synthesize the principles for secure language design from the experiences with the capability-secure languages E and the W7-kernel for Scheme 48 [Ree96]. These principles will be used as primary guidelines during the project. We propose a layered structure for Oz-E and discuss some important security concerns, without aiming for completeness at this early stage.",
author = "F. Spiessens and {Van Roy}, P.",
year = "2005",
doi = "10.1007/978-3-540-31845-3_3",
language = "English",
isbn = "3-540-25079-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "21--40",
editor = "{Van Roy}, P.",
booktitle = "Multiparadigm Programming in Mozart/Oz (Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers)",
address = "Germany",
}