a Tool for Boundary Ambients Nesting ANAlysis


Tool Usage











  • BANANA: A Tool for Boundary Ambients Nesting ANAlysis. C. Braghin, A. Cortesi, S. Filippone, R. Focardi, F. L. Luccio and Carla Piazza. Proc. of the Ninth International Conference on Tools and algorithms for the Construction and Analysis of Systems (TACAS' 03), LNCS, Springer-Verlag, 2003.

  • Complexity of Nesting Analysis in Mobile Ambients C. Braghin, A. Cortesi, R. Focardi, F. L. Luccio and Carla Piazza. Proc. of the Fourth International Conference on Verication, Model Checking and Abstract Interpretation (VMCAI 2003), LNCS 2575, pag. 86-101, Springer-Verlag, 2003.

  • Boundary Inference for Enforcing Security Policies in Mobile Ambients, Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Steffen van Bakel. In proceedings of 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002), Kluwer press, 2002.

  • Control Flow Analysis of Mobile Ambients with Security Boundaries, Chiara Braghin, Agostino Cortesi and Riccardo Focardi. In proceedings of Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), Kluwer press, 20-22 March 2002, University of Twente.