Behavioural typing for safe ambients

Computer Languages

Volumn 28, Issue 1, 2002, Pages 61-99

  Bugliesi, Michele ^a   Castagna, Giuseppe ^b  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Mobility; Security; Type and effects systems; Types

Indexed keywords

ALGORITHMS; JAVA PROGRAMMING LANGUAGE; SECURITY OF DATA; THEOREM PROVING; ALGORITHMIC LANGUAGES; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS;

SAFE AMBIENTS;

COMPUTER SCIENCE; SYSTEMS SCIENCE;

JAVA VIRTUAL MACHINE; MOBILITY; SECURITY; TYPE-AND-EFFECTS SYSTEMS; TYPES;

EID: 0036555747     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(02)00008-5     Document Type: Article

References (18)

1. Cardelli L., Gordon A. Mobile Ambients. In: Proceedings of F0SSaCS'98, Lecture Notes in Computer Science, No. 1378. Berlin: Springer, 1998. p. 140-55.
2. Levi F., Sangiorgi D. Controlling interference in Ambients. In: POPL '00. New York: ACM Press, 2000. p. 352-64.
3. Bugliesi M, Castagna G. Secure safe ambients. In: Proceedings of the 28th ACM Symposium on Principles of Programming Languages, London, New York: ACM Press, 2001. p. 222-35.
4. Li G. Inside Java 2 platform security. 1999;Addison-Wesley, Reading, MA.
5. Sewell P., Vitek J. Secure composition of untrusted code: Wrappers and causality types. In: 13th IEEE Computer Security Foundations Workshop, 2000.
6. Brewer D.F.C., Nash M.J. The chinese wall security policy. In: Proceedings of IEEE Symposium on Security and Privacy, 1982. p. 206-14.
7. Denning P.J. Fault tolerant operating systems. ACM Computing Surveys. 8(4):1976;359-389.
8. Lindholm T., Yellin F. The Java virtual machine specification. Java series. 1997;Addison-Wesley, Reading, MA.
9. Necula G.C. Proof carrying code. In: 24th Annual ACM Symposium on Principles of Programming Languages. New York: ACM Press, 1997.
10. Cardelli L., Gordon A. Types for Mobile Ambients. In: Proceedings of POPL '99. New York: ACM Press, 1999. p. 79-92.
11. Cardelli L., Ghelli G., Gordon A. Mobility types for Mobile Ambients. In: Proceedings of ICALP '99, Lecture Notes in Computer Science, No. 1644. Berlin: Springer, 1999. p. 230-9.
12. Amtoft T., Kfoury A.J., Pericas-Geertsen SM. What are polymorphically-typed ambients? In: ESOP 2001, Lecture Notes in Computer Science, vol. 2028. Berlin: Springer, 2001. p. 206-20.
13. Cardelli L., Ghelli G., Gordon A.D. Ambient groups and mobility types. In: International Conference IFIP TCS, Lecture Notes in Computer Science, No. 1872. Berlin: Springer, 2000. p. 333-47.
14. Nielson F., Riis Nielson H., Hansen R.R., Jensen J.G. Validating firewalls in mobile ambients. In: Proceedings of CONCUR '99, Lecture Notes in Computer Science, No. 1664. Berlin: Springer, 1999. p. 463-77.
15. Nielson H.R., Nielson F. Shape analysis for mobile ambients. In: POPL '00. New York: ACM Press, 2000. p. 142-54.
16. Feret J. Abstract interpretation-based static analysis of mobile ambients. In: Eighth International Static Analysis Symposium (SAS '01), Lecture Notes in Computer Science, No. 2126. Berlin: Springer, 2001.
17. Levi F., Maffeis S. An abstract interpretation framework to analyse mobile ambients. In: Eighth International Static Analysis Symposium (SAS '01), Lecture Notes in Computer Science, No. 2126. Berlin: Springer, 2001.
18. Nielson H.R., Seidl H. Control-flow analysis in cubic time. In: Proceedings of ESOP '01, Lecture Notes in Computer Science, No. 2028. Berlin: Springer, 2001. p. 252-68.