ASG list of publications


Jan Vitek , Giuseppe Castagna, "Mobile Computations and Hostile Hosts", July, 1999


This paper scratches the surface of the problem of classifying the attacks that a mobile computation can be subjected to in an open network. The discussion is based on a simpli-fied version of the Seal calculus. We show the impact of these attacks on the semantics of the calculus and on the notion of observational equivalence.


Author = "Jan Vitek , Giuseppe Castagna",
Title = "Mobile Computations and Hostile Hosts",
Key = "osg osg-ftp tr99.13 osg-media osg-asap",
Notes = "",
Month = "July",
Year = "1999"
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.