|
Home
Tool Usage
Tool
References
|
|
|
|
-
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.
|