scispace - formally typeset
Open AccessBook

Capability-Based Computer Systems

Henry M. Levy
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

Extensible, flexible and secure services in Angel, a single address space operating system

TL;DR: By sensible design of primitive kernel services, and the advantages obtained by adopting a single address space, an operating system can be made flexible, extensible and secure without compromising performance.
Proceedings ArticleDOI

Applying lightweight flexible virtual machines to extensible embedded systems

TL;DR: This paper briefly describes two VMs built in the research group with the before mentioned properties that could be evolved for the embedded systems domain: The Carbayonia and the nitrO Abstract Machines.
Journal ArticleDOI

Reference Encryption for Access Right Segregation and Domain Representation

TL;DR: This work proposes a solution based on protected references, each consisting of the identifier of an object and the specification of a collection of access rights for this object, based on a protection model featuring processes, objects and domains.
Dissertation

Access control in decentralized, distributed systems

TL;DR: A model of distributed systems with decentralized control is established, the issues of programming models, access control, and trust are examined, and new methods for implementing access control and trust management in these systems are proposed and evaluated.

Stateful Anycast for DDoS Mitigation

TL;DR: Stateful Anycast is designed to support stateful sessions without losing anycast’s ability to defend against DDoS attacks, and employs a set of anycasted proxies to direct packets to the proper stateholder.
Related Papers (5)