(changing internal link "deep frozen" to "DeepFrozen" (trying to eliminate page duplicates))
|(8 intermediate revisions not shown)|
Latest revision as of 15:55, 19 December 2008
Quick Reference Card
The Quick Reference Card can be seen here.
The Meaning Of "Authority"
E does not attempt to control computing resources such as memory and disk space, so inside the context of E, it is not considered a conveying of a controlled authority if such compute resources are allocated. Objects which are transparent and transitively immutable (i.e., deep frozen) are considered to convey no authority. Strings, integers, ConstLists, ConstMaps, and eMaker all meet these criteria (though the elements of a ConstList, and the objects made by an eMaker, may very well convey authority).
yourself used to get reliable "broken" behavior when sending to local object
the "opt" prefix for optional, substitute for get if null returnable
Are return objects that don't meet the guard simply coerced to null? warn developer that it won't raise an exception, this could be a source of a null value
must rethrow the catch clause if using the promise coming out of when done
"bind" is now a standalone verb, no "def" needed.
talk about printOn(stream), and use it in examples. In security section, note that it must use guard printOn(out :TextWriter). remember that printon reveals whatever you put on out. the other way to be safe is to print the objects on the way to constructing what gets printed, as in
"" + x
`$\n` is a newline now
- Satan comes to dinner
- Introduction to capability based security
- Norm Hardy Security Pages: ????
- E Home page
- Pet Name paper
AHK: There's also the scalability issue with ACLS. My door, CD cabinet, and gun vault all need to know who to let in. Any change has to be communicated to all of them in a timely manner. This becomes hard as the number of users and control points goes up. Here's the way I describe it.
One essential difference between capbilities and ACLs is that the former relates to a role and the latter to an identity. Here's an example from real life: Zebra Copy.