Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
Item Type:Conference Paper
Citation:Matthew Hennessy and James Riely., Type-safe execution of mobile agents in anonymous networks (Extended Abstract)., Lecture Notes in Computer Science, Secure Internet Programming: Proc. of 4th Workshop on Mobile Object Systems, Brussels, 1998, 1603, Springer-Verlag, 1999, 95-115
Type-Safe.pdf (Published (author's copy) - Peer Reviewed) 167.9Kb
We study type-safety properties of open distributed systems of mobile agents, where not all sites are known to be well-typed. We adopt the underlying model of an anonymous network, allowing that code may be corrupted on transmission and that the source of incoming code is unknowable. Nonetheless, we are able to guarantee a weak form of type-safety at ?good? sites using a mix of static and dynamic typing.
Engineering and Physical Sciences Research Council (EPSRC)
National Science Foundation (NSF)
Author: HENNESSY, MATTHEW
Type of material:Conference Paper
Availability:Full text available