On abstract interpretation of mobile ambients

Information and Computation

Volumn 188, Issue 2, 2004, Pages 179-240

  Levi, Francesca ^a   Maffeis, Sergio ^b  

^a UNIVERSITY OF GENOA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Abstract interpretation; Mobile ambients; Static analysis

Indexed keywords

APPROXIMATION THEORY; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS); SECURITY OF DATA; SEMANTICS; WORLD WIDE WEB;

ABSTRACT INTERPRETATION; MOBILE AMBIENTS; STATIC ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0742268970     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2003.06.001     Document Type: Article

References (27)

1. T. Amtoft, Causal type system for ambient movements (submitted for publication).
2. T. Amtoft, A.J. Kfoury, S.M. Pericas-Geertsen, What are polymorphically-typed ambients? in: Proceedings of ESOP'01, Lecture Notes in Computer Science, vol. 2028, Springer, Berlin, 2001, pp. 206-220.
3. T. Amtoft, A.J. Kfoury, S.M. Pericas-Geertsen, Orderly communication in the ambient calculus, Comput. Languages 28 (2002) 29-60.
4. J.-P. Banâtre, D. Le Métayer, The Gamma model and its discipline of programming, Sci. Comput. Program. 15 (1990) 55-57.
5. C. Braghin, A. Cortesi, R. Focardi, Control flow analysis of mobile ambients with security boundaries, in: Proceedings of FMOODS'02 (2002) 197-212.
6. M. Bugliesi, G. Castagna, Secure safe ambients, in: Proceedings of POPL'01, ACM Press, New York, 2001, pp. 222-235.
7. L. Cardelli, G. Ghelli, A. Gordon, Mobility types for mobile ambients, in: Proceedings of ICALP'99, Lecture Notes in Computer Science, vol. 1644, Springer, Berlin, 1999, pp. 230-239.
8. L. Cardelli, A. Gordon, Types for mobile ambients, in: Proceedings of POPL'99, ACM Press, New York, 1999, pp. 79-92.
9. L. Cardelli, G. Ghelli, A. Gordon, Ambient groups and mobility types, in: Proceedings of IFIP TCS 2000, Lecture Notes in Computer Science, vol. 1872, Springer, Berlin, 2000, pp. 333-347.
10. L. Cardelli, A. Gordon, Mobile ambients, in: Proceedings of FoSSaCS'98, Lecture Notes in Computer Science, vol. 1378, Springer, Berlin, 1998, pp. 140-155.
11. L. Cardelli, G. Ghelli, A.D. Gordon, Types for Ambient Calculus, Inf. Comput. 177 (2002) 160-194.
12. M. Coppo, M. Dezani-Ciancaglini, A fully-abstract model for higher-order mobile ambients, in: Proceedings of VMCAI'02, Lecture Notes in Computer Science (2002) 255-271.
13. P. Cousot, R. Cousot, Systematic design of program analysis frameworks, in: Proceedings of POPL'79, ACM Press, New York, 1979, pp. 269-282.
14. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proceedings of POPL'77, ACM Press, New York, 1977, pp. 238-252.
15. P. Cousot, Types as abstract interpretations, in: Proceedings of POPL'97, ACM Press, New York, 1997, pp. 316-331.
16. P. Degano, F. Levi, C. Bodei, Safe ambients: control flow analysis and security, in: Proceedings of ASIAN'00, Lecture Notes in Computer Science, vol. 1961, Springer, Berlin, 2000, pp. 199-214.
17. M. Dezani-Ciancagli, I. Salvo, Security types for mobile safe ambients, in: Proceedings of ASIAN'00, Lecture Notes in Computer Science, vol. 1961, Springer, Berlin, 2000, pp. 215-236.
18. J. Feret, Abstract interpretation-based analysis of mobile ambients, in: Proceedings of SAS'01, Lecture Notes in Computer Science, vol. 2126, Springer, Berlin, 2001, pp. 412-430.
19. X. Guan, Y. Yang, J. You, Typing evolving ambients, Inf. Process. Lett. 80 (5) (2001) 265-270.
20. R.R. Hansen, J.G. Jensen, F. Nielson, H.R. Nielson, Abstract interpretation of mobile ambients, in: Proceedings of SAS'99, Lecture Notes in Computer Science, vol. 1694, Springer, Berlin, 1999, pp. 135-148.
21. F. Levi, D. Sangiorgi, Controlling interference in ambients, in: Proceedings of POPL'00, ACM Press, New York, 2000, pp. 352-364.
22. F. Levi D. Sangiorgi, Mobile safe ambients, Toplas, ACM Press 25 (2003) 1-69.
23. F. Levi, S. Maffeis, An abstract interpretation framework for mobile ambients, in: Proceedings of SAS'01, Lecture Notes in Computer Science, vol. 2126, ACM Press, New York, 2001, pp. 395-411.
24. S. Maffeis, Analisi Statiche per la Mobilità, Master Thesis, Dipartimento di Informatica, Università di Pisa, July, 2000.
25. F. Nielson, H.R. Nielson, R.R. Hansen, J.G. Jensen, Validating firewalls in mobile ambients, in: Proceedings of CONCUR'99, Lecture Notes in Computer Science, vol. 1664, Springer, Berlin, 1999, pp. 463-477.
26. H.R. Nielson, F. Nielson, Shape analysis for mobile ambients, in: Proceedings of POPL'00, ACM Press, New York, 2000, pp. 135-148.
27. F. Nielson, H.R. Nielson, C. Hankin, Principles of Program Analysis, Springer, Berlin, 1999.