Security types for mobile safe ambients

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

Volumn 1961, Issue , 2000, Pages 215-236

  Dezani Ciancaglini, M ^a   Salvo, I ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS);

AMBIENT CALCULUS; MOBILE AMBIENTS; PARTIAL ORDER; SAFE AMBIENT CALCULUS; SAFE AMBIENTS; SECURITY LEVEL; SECURITY PROPERTIES; SECURITY TYPES;

CALCULATIONS;

EID: 84957803043     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44464-5_16     Document Type: Conference Paper

References (12)

1. Michele Bugliesi and Giuseppe Castagna. Secure safe ambients. In Proceedings of the 28th ACM Symposium on Principles of Programming Languages, 2001. To appear.
2. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Mobility types for mobile ambients. In Jiří Wiederman, Peter van Emde Boas, and Mogens Nielsen, editors, ICALP 1999, volume 1644 of Lecture Notes in Computer Science, pages 230-239. Springer-Verlag, 1999.
3. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Ambient groups and mobility types. In Jan van Leeuwen et al., editor, Theoretical Computer Science: Exploring New Frontiers in Theoretical Informatics, volume 1872 of Lecture Notes in Computer Science, pages 333-347. Springer-Verlag, 2000.
4. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Maurice Nivat, editor, FoSSaCS 1998, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer-Verlag, 1998.
5. Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In POPL'99, pages 79-92, New York, NY, USA, 1999. ACM Press.
6. Matthew Hennessy and James Riely. Resource access control in systems of mobile agents (extended abstract). In Proc. of 3rd International Workshop on High-Level Concurrent Languages (HLCL'98), 1998. Vol. 16(3) of Electronic Notes in Theoretical Computer Science. Full version to appear in Information and Computation.
7. Matthew Hennessy and James Riely. Information flow vs. resource access in the asynchronous π-calculus. In Ugo Montanari, José Rolim, and Emo Welzl, editors, ICALP 2000, volume 1853 of Lecture Notes in Computer Science, pages 415-427. Springer-Verlag, 2000.
8. Francesca Levi and Chiara Bodei. Security analysis for mobile ambients. In Proceedings of the Workshop on Issues in the Theory of Security, (co-located with ICALP 2000), pages 18-23, 2000.
9. Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In POPL'00, pages 352-364, New York, NY, USA, 2000. ACM Press.
10. Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, and Betty Venneri. Types for access control. Theoretical Computer Science, 2000. Special issue on Coordination. To appear, available at http://rap.dsi.unifi.it/papers.htm.
11. Benjamin Pierce and Davide Sangiorgi. Typing and subtyping for mobile processes. In Logic in Computer Science, 1993. Full version in Mathematical Structures in Computer Science, Vol. 6, No. 5, pages 409-454, 1996.
12. Pascal Zimmer. Subtyping and typing algorithms for mobile ambients. In Jerzy Tiuryn, editor, FoSSaCS 2000, volume 1784 of Lecture Notes in Computer Science, pages 375-390. Springer-Verlag, 2000.