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.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.
EnglishA multilevel security policy is considered in the scenario of mobile systems, and modeled within "pure" Mobile Ambients calculus, in which no communication channels are present and the only possible actions are represented by the moves performed by mobile processes. The information flow property of interest is defined in terms of the possibility for a confidential ambient/data to move outside a security boundary. Then, a very simple syntactic property is given that is sufficient to imply the absence of unwanted information flows.
| Titolo: | Information Flow Security in Mobile Ambients |
| Autori: | |
| Data di pubblicazione: | 2001 |
| Serie: | |
| Abstract: | A multilevel security policy is considered in the scenario of mobile systems, and modeled within "pure" Mobile Ambients calculus, in which no communication channels are present and the only possible actions are represented by the moves performed by mobile processes. The information flow property of interest is defined in terms of the possibility for a confidential ambient/data to move outside a security boundary. Then, a very simple syntactic property is given that is sufficient to imply the absence of unwanted information flows. |
| Handle: | http://hdl.handle.net/10278/22308 |
| Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Copyright © 2020