Type-Safe Execution of Mobile Agents in Anonymous Networks

  title={Type-Safe Execution of Mobile Agents in Anonymous Networks},
  author={Matthew Hennessy and James Riely},
  booktitle={Secure Internet Programming},
We present apartially-typedsemantics for Dπ, a distributedπ-calculus. The semantics is designed foropendistributed systems in which some sites may harbor malicious agents. Nonethe less, the semantics guarantee traditional type-safety properties at “good” loc ations by using a mixture of static and dynamic type-checking. The run-time semantics is built on the model of an anonymous network where the source of incoming agents is unknowable. To counteract possible misuse of resources all site s… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

Mobile ambients

  • A. D. Gordon
  • Foundations of Software Science and Computational…
  • 1998

Mobile ambients. In Foundations of Software Science and Computational Structures , volume 1378 ofLecture Notes in Computer Science

  • L. Cardelli, A. D. Gordon
  • 1998
2 Excerpts

Security properties of typed applets

  • Matthew Hennessy, James Riely
  • Resource access control in systems of mobile…
  • 1998

Type - safe execution of mobile agents in anonymous networks

  • Matthew Hennessy
  • 1998

Similar Papers

Loading similar papers…