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
Proceedings ArticleDOI
Protection domain extensions in Mungi
TL;DR: The PDX mechanism forms the basis for object support in Mungi, particularly encapsulation, and is also used for accessing devices, and to implement user-level page fault handlers and other services.
SLK: A Capability System Based on Safe Language Technology
TL;DR: A new capability model (called the type-capability model) is developed which relates the protection offered by safe languages to that of traditional capability systems and is used to show that the power of capabilities can be obtained in a safe language at low cost through a combination of link-time and run-time protection checks.
Journal ArticleDOI
Reasoning about a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management
TL;DR: This work provides a logical relation that semantically captures the guarantees provided by the hardware and uses it to prove control-flow correctness and encapsulation of local state.
Proceedings Article
Making Linux protection mechanisms egalitarian with UserFS
Taesoo Kim,Nickolai Zeldovich +1 more
TL;DR: This work prevented attackers from exploiting application-level vulnerabilities, such as code injection or missing ACL checks in a PHP-based wiki application, by changing just tens to hundreds of lines of code in UserFS.
DissertationDOI
Design of the SPEEDOS operating system kernel
TL;DR: In the prototype implementation it is shown that the virtual memory model used to describe the module structure can be mapped efficiently to the current page-based memory architecture implemented by the standard processor architectures available today.