Open AccessBook
Capability-Based Computer Systems
About:
The article was published on 1984-01-01 and is currently open access. It has received 509 citations till now. The article focuses on the topics: Computer network programming & Software system.read more
Citations
More filters
Posted Content
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details.
TL;DR: In this article, a calling convention for capability machines with local capabilities is proposed, which ensures local-state encapsulation and well-bracketed control flow, using a hand-full of program examples and proving that they behave correctly.
Proceedings ArticleDOI
BottleCap: a credential manager for capability systems
TL;DR: BottleCap is introduced, a capability container that binds capabilities to the machine to which they are issued, holding their secrets in sealed storage, preventing the delegation of the rights they represent except under the supervision of BottleCap.
Service Rebalancing
Eric H. Herrin,Raphael A. Finkel +1 more
TL;DR: In this article, service rebalancing provides a way to determine an efficient division of effort between a client and its server, and decisions concerning this division of labor are made at runtime rather than at design time.
Controlling the dissemination and disclosure of healthcare events
TL;DR: This dissertation describes how publish/subscribe, an asynchronous, push-based, manyto-many middleware communication paradigm, is extended to include mechanisms for actively controlling information disclosure, and builds Interaction Control mechanisms into integrated database-brokers to provide a rich representation of state; while facilitating audit.
Proceedings ArticleDOI
Matching micro-kernels to modern applications using fine-grained memory protection
TL;DR: It is argued that customization support is one aspect of fine-grained protection for modules needing CPU supervisor privilege, and the kernel support required for fine grained protection is described.