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
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.
Please note: There is a known bug in some browsers that causes an
error when a user tries to view large pdf file within the browser window.
If you receive the message "The file is damaged and could not be
repaired", please try one of the solutions linked below based on the
browser you are using.
Items in TARA are protected by copyright, with all rights reserved, unless otherwise indicated.