ocap
9 pages in this folder
Capability Myths Demolished
12 out · 1 in
Capability-based Financial Instruments
14 out · 1 in
Distributed Electronic Rights in JavaScript
14 out · 1 in
EROS - A Fast Capability System
12 out · 1 in
Programming Semantics for Multiprogrammed Computations
13 out · 1 in
Robust Composition - Towards a Unified Approach to Access Control and Concurrency Control
14 out · 1 in
The Confused Deputy - Hardy
12 out · 1 in
The Heart of Spritely - Distributed Objects and Capability Security
54 out · 21 in
Trustworthy Proxies - Virtualizing Objects with Invariants
12 out · 1 in