Browsing Faculty of Arts and Sciences by Keyword "Capabilities"
Now showing items 1-1 of 1
-
Declarative Policies for Capability Control
(Institute of Electrical and Electronics Engineers, 2014)In capability-safe languages, components can access a resource only if they possess a capability for that resource. As a result, a programmer can prevent an untrusted component from accessing a sensitive resource by ensuring ...