Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients | Zendy

Chiara Braghin | Zendy; Agostino Cortesi | Zendy; Riccardo Focardi | Zendy; Flaminia L. Luccio | Zendy; Carla Piazza | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients

Author(s) -

Chiara Braghin,

Agostino Cortesi,

Riccardo Focardi,

Flaminia L. Luccio,

Carla Piazza

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.014

Subject(s) - nesting (process) , computer science , programming language , theoretical computer science , mathematics , engineering , mechanical engineering

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research