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.

Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients / C. Braghin, A. Cortesi, R. Focardi , F.L. Luccio, C. Piazza. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 99:(2004), pp. 319-337. ((Intervento presentato al convegno MEFISTO Project, Formal Methods for Security and Time tenutosi a Pisa nel 2003 [10.1016/j.entcs.2004.02.014].

Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients

C. Braghin
Primo
;
2004

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.
Ambient Calculus; Security; Static Analysis
Settore INF/01 - Informatica
2004
Article (author)
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/140853
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact