Sciweavers

MOZ
2004
Springer

The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language

13 years 9 months ago
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Abstract. The design and implementation of a capability secure multiparadigm 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.
Fred Spiessens, Peter Van Roy
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where MOZ
Authors Fred Spiessens, Peter Van Roy
Comments (0)