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
Eros: a capability system
TL;DR: An architectural overview of EROS, the Extremely Reliable Operating System is provided, which provides complete accountability for persistent, consumable and multiplexed resources and a fast pure capability architecture can be demonstrated.
Proceedings ArticleDOI
Execution leases: a hardware-supported mechanism for enforcing strong non-interference
TL;DR: A new method for creating architectures that both makes the complete information-flow properties of the machine fully explicit and available to the programmer and allows those properties to be verified all the way down to the gate-level implementation the design is proposed.
Journal ArticleDOI
The MARUTI hard real-time operating system
TL;DR: Guaranteed-service scheduling means that, given a job with a set of service requirements and time constraints, the system automatically verifies the schedulability of each component of the job with respect to the job's constraints and those of other jobs in the system.
Journal ArticleDOI
EROS: a principle-driven operating system from the ground up
J.S. Shapiro,N. Hardy +1 more
TL;DR: The primary design principles on which EROS is built, the impact these principles had on the design, the application structure that naturally emerged from the resulting system, and the how this affected the system's security and testability are described.
Proceedings ArticleDOI
Homeviews: peer-to-peer middleware for personal data sharing applications
TL;DR: HomeViews operates in a purely peer-to-peer fashion, without the need for account administration or centralized data and protection management inherent in typical data-sharing systems.