Emily
From Erights
(Difference between revisions)
m (added link to OCaml homepage) |
(tech report and download page) |
||
Line 1: | Line 1: | ||
- | Emily is an object-capability taming of | + | Emily is an object-capability taming of OCaml. |
== Tech Report == | == Tech Report == |
Revision as of 23:11, 28 March 2007
Emily is an object-capability taming of OCaml.
Tech Report
How Emily Tamed the Caml - by Marc Stiegler, Mark Miller.
Abstract: 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.