Boxed Ambients are a variant of Mobile Ambients that result from dropping the `open' capability, and introducing new primitives for ambient communication. The new model of communication is faithful to the principles of distribution and location-awareness of Mobile Ambients, and complements the constructs `in' and `out' mobility with finer-grained mechanisms for ambient interaction. We introduce the new calculus, study the impact of the new mechanisms for communication o typing and mobility, and show that they yield an effective framework for resource protection and access control in distributed system
Autori: | |
Data di pubblicazione: | 2004 |
Titolo: | Access Control for Mobile Agents: the Calculus of Boxed Ambients |
Rivista: | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
Volume: | 26 |
Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
p57-bugliesi.pdf | Documento in Post-print | Accesso chiuso-personale | Riservato |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.