BANANA - A tool for boundary ambients nesting analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 437-441

  Braghin, Chiara ^a   Cortesi, Agostino ^a   Filippone, Stefano ^a   Focardi, Riccardo ^a   Luccio, Flaminia L ^b   Piazza, Carla ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF TRIESTE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248892422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_32     Document Type: Article

References (7)

1. C. Braghin, A. Cortesi, and R. Focardi. Security Boundaries in Mobile Ambients. Computer Languages, Elsevier, to appear, vol. 18, 2002.
2. C. Braghin, A. Cortesi, and R. Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In B. Jacobs and A. Rensink, editors, Proc. of Fifth Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02), pages 197-212, Kluwer Academic Publisher, 2002.
3. C. Braghin, A. Cortesi, R. Focardi, F.L. Luccio, and C. Piazza A New Algorithm for Control Flow Analysis of Mobile Ambients. In Proc. of The 4th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'03), LNCS, to appear, 2003.
4. C. Braghin, A. Cortesi, R. Focardi, and S. van Bakel. Boundary Inference for Enforcing Security Policies in Mobile Ambients. In Proc. of The 2nd IFIP Int. Conf. on Theoretical Computer Science (TCS'02), pages 383-395. Kluwer Academic Publisher, August 2002.
5. L. Cardelli and A.D. Gordon. Mobile Ambients. Theoretical Computer Science (TCS), 240(1):177-213, 2000.
6. R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract Interpretation of Mobile Ambients. In Proc. of Static Analysis Symposium (SAS), volume 1694 of Lecture Notes in Computer Science, pages 134-148. Springer-Verlag, September 1999.
7. Francesca Levi and Davide Sangiorgi. Controlling Interference in Ambients. In Proc. 28th ACM Symposium on Principles of Programming Languages (POPL'01), pages 352-364, 2000.