Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
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-115Download Item:
Abstract:
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.
Sponsor
Grant Number
Engineering and Physical Sciences Research Council (EPSRC)
GR/K60701
National Science Foundation (NSF)
EIA-9805604
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHED
Author: HENNESSY, MATTHEW
Publisher:
Springer-VerlagType of material:
Conference PaperSeries/Report no:
1603;Availability:
Full text availableKeywords:
Computer science, type-safety propertiesMetadata
Show full item recordLicences: