| dc.contributor.author | HENNESSY, MATTHEW | |
| dc.date.accessioned | 2011-06-07T15:46:24Z | |
| dc.date.available | 2011-06-07T15:46:24Z | |
| dc.date.created | 1998 | en |
| dc.date.issued | 1999 | |
| dc.date.submitted | 1999 | en |
| dc.identifier.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 | en |
| dc.identifier.other | Y | |
| dc.description | PUBLISHED | en |
| dc.description.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. | en |
| dc.description.sponsorship | We thank the referees for several comments that sharpened the presentation. Matthew
Hennessy funded by CONFER II and EPSRC project GR/K60701. James Riely funded
by NSF grant EIA-9805604. | en |
| dc.format.extent | 95-115 | en |
| dc.language.iso | en | en |
| dc.publisher | Springer-Verlag | en |
| dc.relation.ispartofseries | 1603; | |
| dc.rights | Y | en |
| dc.subject | Computer science | en |
| dc.subject | type-safety properties | en |
| dc.title | Type-safe execution of mobile agents in anonymous networks (Extended Abstract). | en |
| dc.type | Conference Paper | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/mcbhenne | |
| dc.identifier.rssinternalid | 50984 | |
| dc.identifier.rssuri | http://www.springerlink.com/content/l3rl0l270u655218/fulltext.pdf | en |
| dc.contributor.sponsor | Engineering and Physical Sciences Research Council (EPSRC) | en |
| dc.contributor.sponsorGrantNumber | GR/K60701 | en |
| dc.contributor.sponsor | National Science Foundation (NSF) | en |
| dc.contributor.sponsorGrantNumber | EIA-9805604 | en |
| dc.identifier.uri | http://hdl.handle.net/2262/56486 | |
