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

https://doi.org/10.1016/j.entcs.2004.02.014Get rights and content
Under a Creative Commons license
open access

Cited by (0)

Partially supported by the MIUR Project “Modelli formali per la sicurezza”, the EU Con- tract IST-2001-32617 “MyThS”, and the FIRB project (RBAU018RCZ) “Interpretazione astratta e model checking per la verifica di sistemi embedded”.