Security and Modularity in Message Passing (opens in new tab)

Security and Modularity in Message Passing Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry 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 order to increase the modularity of concurrent systems. Our mechanism has the property that the actions caused by delegated messages are atomic. That is the handling of a message delega...