TARA: Type-safe execution of mobile agents in anonymous networks (Extended Abstract).

Home

Submit

Alerts

Academic/Research Units
& Collections

Title

Author

By Date of Publication

Subject

Sponsors

TARA >
Administrative Staff Authors >
Administrative Staff Authors (Scholarly Publications) >

Please use this identifier to cite or link to this item: http://hdl.handle.net/2262/56486

Title:	Type-safe execution of mobile agents in anonymous networks (Extended Abstract).
Author:	HENNESSY, MATTHEW
Sponsor:	Engineering and Physical Sciences Research Council (EPSRC) National Science Foundation (NSF)
Author's Homepage:	http://people.tcd.ie/mcbhenne
Keywords:	Computer science type-safety properties
Issue Date:	1999
Publisher:	Springer-Verlag
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
Series/Report no.:	1603;
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.
Description:	PUBLISHED
URI:	http://hdl.handle.net/2262/56486
Related links:	http://www.springerlink.com/content/l3rl0l270u655218/fulltext.pdf
Appears in Collections:	Administrative Staff Authors (Scholarly Publications)

Files in This Item:

File	Description	Size	Format
Type-Safe.pdf	Published (author's copy) - Peer Reviewed	167.92 kB	Adobe PDF	View/Open

This item is protected by original copyright

View License

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.