Typing mobility in the Seal Calculus

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

Volumn 2154, Issue , 2001, Pages 82-101

  Castagna, Giuseppe ^a   Ghelli, Giorgio ^b   Nardelli, Francesco Zappa ^a,b  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

HIGHER ORDER TYPES; INTERACTION EFFECT; SEAL CALCULUS; SEAL MODEL; TYPE SYSTEMS;

MOBILE AGENTS;

EID: 84944057520     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44685-0_7     Document Type: Conference Paper

References (21)

1. R. Amadio, G. Boudol, and C. Lhoussaine. The receptive distributed π-calculus. In FST&TCS, number 1738 in Lecture Notes in Computer Science,pages 304–315,1999.
2. C. Bryce and J. Vitek. The JavaSeal mobile agent kernel. Autonomous Agents and Multi- Agent Systems, 2002. To appear.
3. M. Bugliesi and G. Castagna. Secure safe ambients. In Proc. of the 28th ACM Symposium on Principles of Programming Languages, pages 222–235, London, 2001. ACM Press.
4. L. Cardelli, G. Ghelli, and A. Gordon. Mobility types for mobile ambients. In Proceedings of ICALP’99, number 1644 in Lecture Notes in Computer Science, pages 230–239. Springer, 1999.
5. L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In International Conference IFIP TCS, number 1872 in Lecture Notes in Computer Science, pages 333–347. Springer, August 2000.
6. L. Cardelli and A. Gordon. Mobile ambients. In Proceedings of POPL’98. ACM Press, 1998.
7. L. Cardelli and A. Gordon. Types for mobile ambients. In Proceedings of POPL’99, pages 79–92. ACM Press, 1999.
8. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 2000. To appear.
9. F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL’00, pages 352–364. ACM Press, 2000.
10. M. Merro. Locality in the π-calculus and applications to distributed objects. PhD thesis, École de Mines de Paris, October 2000.
11. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation,100:1–77, September 1992.
12. Robin Milner. The polyadic π-calculus: a tutorial. Technical Report ECS–LFCS–91– 180, Lab oratory for Foundations of Computer Science, Departmen t of Computer Science, University of Edinburgh, UK, October 1991. Appeared in Proceedings of the International Summer School on Logic and Algebra of Specification, Marktob erdorf, August 1991. Reprinted in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer, and H. Schwichtenberg, Springer-Verlag,1993.
13. M. Odersky and P. Wadler: Pizza into Java: Translating theory into practice. In 24th Ann. ACM Symp. on Principles of Programming Languages, 1997.
14. J. Parrow and B. Victor: The Fusion Calculus: Expressiveness and symmetry in mobile processes. In Logic in Computer Science. IEEE Computer Society Press, 1998.
15. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science,6(5), 1996.
16. D. Sangiorgi. The name discipline of uniform receptiveness. Theoretical Computer Science, 221(1–2):457–493, 1999.
17. P. Sewell and J. Vitek. Secure composition of insecure components. In 12th IEEE Computer Security Foundations Workshop, 1999.
18. J. Vitek, C. Bryce, and W. Binder. Designing JavaSeal: or how to make Java safe for agents. In Dennis Tsichritzis, editor, Electronic Commerce Objects. University of Geneva, 1998.
19. J. Vitek and G. Castagna: Seal: A framework for secure mobile computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science. Springer, 1999.
20. N. Yoshida and M. Hennessy. Assigning types to processes. In Proceedings, Fifteenth Annual IEEE Symposium on Logic in Computer Science, pages 334–348, 2000.
21. F. Zappa Nardelli. Types for Seal Calculus. Master’s thesis,Universitá degli Studi di Pisa, October 2000. Available at ftp://ftp.di.ens.fr/pub/users/zappa/readings/mt.ps.gz.