Search
Now showing items 1-3 of 3
Specifying and Proving Properties of Guardians for Distributed Systems
(MIT Artificial Intelligence Laboratory, 1979-05)
In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...
Specifying and Proving Properties of Guardians for Distributed Systems
(1979-06-01)
In a distributed system where many processors are connected by a networ and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...
Security and Modularity in Message Passing
(MIT Artificial Intelligence Laboratory, 1979-02)
This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...