How Emily Tamed the Caml

Stiegler, Marc ; Miller, Mark

HP Development Company

关键词: security;    programming;    performance;   

RP-ID  :  HPL-2006-116

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

How does one make a program breach resistant? One promising approach is to apply the Principle of Least Authority at object granularity. The E language has previously demonstrated that object-capability languages turn many of the security requirements for software into emergent properties of traditional object-oriented design and modularity enforcement. Emily is a subset of OCaml that uses a design rule verifier to enforce object-capability principles. It demonstrates how memory-safe languages can be transformed into breach-resistant object-capability systems with little loss of either expressivity or performance. 16 Pages