Security and Modularity in Message Passing
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0...
| Main Authors: | , , |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/41147 |
| _version_ | 1811090573750173696 |
|---|---|
| author | Hewitt, Carl Attardi, Giuseppe Lieberman, Henry |
| author_facet | Hewitt, Carl Attardi, Giuseppe Lieberman, Henry |
| author_sort | Hewitt, Carl |
| collection | MIT |
| description | This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0522. |
| first_indexed | 2024-09-23T14:48:20Z |
| format | Working Paper |
| id | mit-1721.1/41147 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T14:48:20Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/411472019-04-12T09:44:51Z Security and Modularity in Message Passing Hewitt, Carl Attardi, Giuseppe Lieberman, Henry This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Office of Naval Research of the Department of Defense under contract N00014-75-C-0522. 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 delegated by a client actor appears to be indivisible to other users of the actor. Our mechanism for delegating communications is a generalization suitable for use in concurrent systems of the sub-class mechanism of SIMULA. Our mechanism has the benefit that it easily lends itself to the implementation of efficient flexible access control mechanisms in distributed systems. It is a generalization of the protection mechanisms provided by capability-based system, access control lists, and the access control mechanisms provided by PDP-10 SIMULA. MIT Artificial Intelligence Laboratory Department of Defense Office of Naval Research 2008-04-10T16:20:56Z 2008-04-10T16:20:56Z 1979-02 Working Paper http://hdl.handle.net/1721.1/41147 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-180 application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Hewitt, Carl Attardi, Giuseppe Lieberman, Henry Security and Modularity in Message Passing |
| title | Security and Modularity in Message Passing |
| title_full | Security and Modularity in Message Passing |
| title_fullStr | Security and Modularity in Message Passing |
| title_full_unstemmed | Security and Modularity in Message Passing |
| title_short | Security and Modularity in Message Passing |
| title_sort | security and modularity in message passing |
| url | http://hdl.handle.net/1721.1/41147 |
| work_keys_str_mv | AT hewittcarl securityandmodularityinmessagepassing AT attardigiuseppe securityandmodularityinmessagepassing AT liebermanhenry securityandmodularityinmessagepassing |