ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.Mentre il precedente U-Gov Catalogo era un database chiuso, ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishBoxed 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
http://hdl.handle.net/10278/12508| Titolo: | Access Control for Mobile Agents: the Calculus of Boxed Ambients |
| Autori interni: | BUGLIESI, Michele |
| Data di pubblicazione: | 2004 |
| Rivista: | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS |
| Abstract: | 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 |
| Handle: | http://hdl.handle.net/10278/12508 |
| Appare nelle tipologie: | 2.1 Articolo su rivista |
File in questo prodotto:
| File | Descrizione | Dimensione | Formato | Tipologia | Licenza | |
|---|---|---|---|---|---|---|
| p57-bugliesi.pdf | 525.89 kB | Adobe PDF | Post-print | Riservato |
Copyright © 2017