Re: [Caja] Important new paper: The Need for Capability Policiies
"Drossopoulou, Sophia" <s.drossopoulou-AQ/[email protected]> Thu, 11 Jul 2013 15:42:16 +0000
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Shriram, Do you mean that "policy languages" expect to be monitored while the program is executed, and throw exceptions when not adhered to, while what James and I propose in our paper is something that is the property of a program, and would (most naturally) be checked statically? Sophia From: [email protected] [mailto:[email protected]] On Behalf Of Mark Miller Sent: 11 July 2013 16:29 To: Shriram Krishnamurthi; Discussion of E and other capability languages Subject: Re: [e-lang] [Caja] Important new paper: The Need for Capability Policiies .... > The difference between ACLs and the kinds of policies in this paper is > that these look to me for the most part to be traditional program > *properties*. In contrast, policy languages are part of the active > execution of the program, usually as a callout to some policy > decision/enforcement agent. Do you have a positive example? _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang