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.
Autori: | ||
Data di pubblicazione: | 2004 | |
Titolo: | Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients | |
Titolo del libro: | Formal Methods for Security and Time | |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1016/j.entcs.2004.02.014 | |
Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.