The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
复制标题
Oz-E 项目：安全多范式编程语言的设计指南
DOI：
10.1007/978-3-540-31845-3_3
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
P. V. Roy
中科院分区：
文献类型：
--
作者：
Fred Spiessens;P. V. Roy
功能安全多范式语言的设计和实施应通过可靠的安全语言设计原理来指导其构想。在该职位上，我们介绍了OZ-E项目，旨在构建以E [MMF00]致敬及其设计师和用户为这里提出的想法做出巨大贡献的oz般的安全语言。
我们从功能 - 安全语言E的经验和方案48的W7-KERNEL的经验中综合了安全语言设计的原理[REE96]。这些原则将在项目期间用作主要准则。我们为OZ-E提出了一个分层结构，并讨论了一些重要的安全问题，而无需在此早期阶段完整。
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.