| M. Evered and J. L. Keedy. A model for protection in persistent object-oriented systems. In Proceedings of the International Workshop on Computer Architecture to Support Security and Persistence of Information, pages 67--82, Bremen, Germany, May 1990. |
....language for specifying contracts [38] to which communicating processes adhere. A contract defines the promises made by the sender and the assumptions of the receiver. Using contracts, Concert processes may communicate securely with Hermes processes. 2. 4 MONADS PC The Monads pc project [39, 40] aims to provide architectural support for secure persistent objects. In Monads pc, hardware is used to support virtual address translation in a single large persistent virtual memory (with 60 bit addresses) into which all objects are placed. To protect objects, some other single address space ....
M. Evered and J. L. Keedy. A model for protection in persistent object-oriented systems. In Proceedings of the International Workshop on Computer Architecture to Support Security and Persistence of Information, pages 67--82, Bremen, Germany, May 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC