Type-safe execution of mobile agents in anonymous networks

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

Volumn 1603, Issue , 1999, Pages 95-115

  Hennessy, Matthew ^a   Riely, James ^b  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

^b North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; NETWORK SECURITY; OBJECT ORIENTED PROGRAMMING;

ANONYMOUS NETWORKS; DYNAMIC TYPING; OPEN DISTRIBUTED SYSTEMS; TYPE SAFETY; WEAK FORM;

MOBILE AGENTS;

EID: 84983001862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48749-2_5     Document Type: Conference Paper

References (14)

1. M. Abadi and A.D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, To appear. Available as Compaq SRC Research Report 149 (1998).
2. B. Bershad, B. Savage, R Pardyak, E. Sirer, D. Becker, M. Fiuczynski, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In Symposium on Operating Systems Principles, pages 267-284, 1997.
3. L. Cardelli and A.D. Gordon. Mobile ambients. In Foundations of Software Science and Computational Structures, volume 1378 of Lecture Notes in Computer Science, pages 140-155. BerHn: Springer-Verlag, 1998.
4. R. DeNicola, G. Ferrari, and R. Pugliese. Types as specifications of access policies. In J. Vitek and C. Jensen, editors, Secure Internet Programming: Security Issues for Distributed and Mobile Objects, Lecture Notes in Computer Science. Springer-Verlag, 1999.
5. C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. Remy. A calculus of mobile agents. In U. Montanari and V. Sassone, editors, CONCUR: Proceedings of the International Conference on Concurrency Theory, volume 1119 of Lecture Notes in Computer Science, pages 406-421, Pisa, August 1996. Berlin: Springer-Verlag.
6. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. In U. Nestmann and B. Pierce, editors, 3rd International Workshop on High-Level Concurrent Languages (HLCL'98), volume 16(3) of Electronic Notes in Theoretical Computer Science, Nice, September 1998. Elsevier. Available from http://www.elsevier.nl/locate/entcs.Fullversion available as Sussex CSTR 98/02, 1998. Available from http://www.cogs.susx.ac.uk/.
7. X. Leroy and F. Rouaix. Security properties of typed applets. In Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, January 1998. ACM Press.
8. R. Milner The polyadic 7i-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, October 1991. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer-Verlag, 1993.
9. G. Necula. Proof-carrying code. \n Conference Record of the ACM Symposium on Principles of Programming Languages, Paris, January 1997. ACM Press.
10. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5):409-454, 1996. Extended abstract in LICS '93.
11. J. Riely and M. Hennessy. A typed language for distributed mobile processes. In Conference Record of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, January 1998. ACM Press.
12. J. Riely and M. Hennessy. Trust and partial typing in open systems of mobile agents. In Conference Record of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, January 1999. ACM Press. Full version available as Sussex CSTR 98/04, 1998. Available from http://www.cogssusx.ac.uk/.
13. P. Sewell. Global/local subtyping and capability inference for a distributed 7t-calculus. In Proceedings of the International Colloquium on Automata, Languages and Programming, volume 1433 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, July 1998.
14. R. Stata and M. Abadi. A type system for Java bytecode subroutines. In Conference Record of the ACM Symposium on Principles of Programming Languages, San Diego, January 1998. ACM Press.