Kosik: added link to OCaml homepage

Kosik — Fri, 10 Jul 2009 10:25:19 GMT

added link to OCaml homepage

New page

Emily is an object-capability taming of [http://caml.inria.fr/ocaml/index.en.html OCaml].

== Tech Report ==

[http://www.hpl.hp.com/techreports/2006/HPL-2006-116.html 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.

== Downloads ==

http://erights.org/download/emily/

Ansible: tech report and download page

Ansible — Wed, 28 Mar 2007 23:11:40 GMT

tech report and download page

←Older revision		Revision as of 23:11, 28 March 2007
Line 1:		Line 1:
-	Emily is an object-capability taming of ~~[http://caml.inria.fr/ocaml/index.en.html~~ OCaml].	+	Emily is an object-capability taming of OCaml.

	== Tech Report ==		== Tech Report ==

Emily - Revision history

Kosik: added link to OCaml homepage

Ansible: tech report and download page