Show simple item record

dc.contributor.authorHENNESSY, MATTHEW
dc.date.accessioned2011-06-07T15:46:24Z
dc.date.available2011-06-07T15:46:24Z
dc.date.created1998en
dc.date.issued1999
dc.date.submitted1999en
dc.identifier.citationMatthew 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-115en
dc.identifier.otherY
dc.identifier.urihttp://hdl.handle.net/2262/56486
dc.descriptionPUBLISHEDen
dc.description.abstractWe 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.sponsorshipWe 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.extent95-115en
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseries1603;
dc.rightsYen
dc.subjectComputer scienceen
dc.subjecttype-safety propertiesen
dc.titleType-safe execution of mobile agents in anonymous networks (Extended Abstract).en
dc.typeConference Paperen
dc.contributor.sponsorEngineering and Physical Sciences Research Council (EPSRC)en
dc.contributor.sponsorNational Science Foundation (NSF)en
dc.type.supercollectionscholarly_publicationsen
dc.type.supercollectionrefereed_publicationsen
dc.identifier.peoplefinderurlhttp://people.tcd.ie/mcbhenne
dc.identifier.rssinternalid50984
dc.contributor.sponsorGrantNumberGR/K60701en
dc.contributor.sponsorGrantNumberEIA-9805604en
dc.identifier.rssurihttp://www.springerlink.com/content/l3rl0l270u655218/fulltext.pdfen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record