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.
EnglishWe present a survey of the work on control-flow analysis carried on by the Venice Team during the Mefisto project. We study security issues, in particular information leakage detection, in the context of the Mobile Ambient calculus. We describe BANANA, a Java-based tool for ambient nesting analysis, by focussing on analysis accuracy and algorithmic optimizations.
http://hdl.handle.net/10278/24983| Titolo: | Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients |
| Autori interni: | CORTESI, Agostino FOCARDI, Riccardo LUCCIO, Flaminia |
| Data di pubblicazione: | 2004 |
| Serie: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
| Abstract: | We present a survey of the work on control-flow analysis carried on by the Venice Team during the Mefisto project. We study security issues, in particular information leakage detection, in the context of the Mobile Ambient calculus. We describe BANANA, a Java-based tool for ambient nesting analysis, by focussing on analysis accuracy and algorithmic optimizations. |
| Handle: | http://hdl.handle.net/10278/24983 |
| Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Copyright © 2017