Banana is a tool for the analysis of information leakage in mobile agent specifications. The language considered is Mobile Ambient calculus, initially proposed by Cardelli and Gordon with the main purpose of explicitly modeling mobility. Sites and agents (i.e., processes) are modeled as nested boxes (i.e., ambients), provided with capabilities for entering, exiting and dissolving other boxes. This specification language provides a very simple framework to reason about information flow and security when mobility is an issue.
BANANA : a tool for boundary ambients nesting analysis / C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F.L. Luccio, C. Piazza - In: Tools and algorithms for the construction and analysis of systems : 9. International conference, TACAS 2003, held as part of the Joint european conferences on theory and practice of software, ETAPS 2003 : Warsaw, Poland, april 7-11, 2003 : proceedings / [a cura di] H. Garavel, J. Hatcliff. - Berlin : Springer, 2003. - ISBN 9783540008989. - pp. 437-441 (( Intervento presentato al 9. convegno Tools and algorithms for the construction and analysis of systems (TACAS) tenutosi a Warsaw nel 2003.
BANANA : a tool for boundary ambients nesting analysis
C. BraghinPrimo
;
2003
Abstract
Banana is a tool for the analysis of information leakage in mobile agent specifications. The language considered is Mobile Ambient calculus, initially proposed by Cardelli and Gordon with the main purpose of explicitly modeling mobility. Sites and agents (i.e., processes) are modeled as nested boxes (i.e., ambients), provided with capabilities for entering, exiting and dissolving other boxes. This specification language provides a very simple framework to reason about information flow and security when mobility is an issue.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
