Logo
LogoUniGeSES

ASG list of publications

Citation

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

Abstract

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.

Bibtex

@unpublished{ViCa99,
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.