Logo
LogoUniGeSES

ASG list of publications

Citation

Giuseppe Castagna , Jan Vitek, "Commitment and Confinement for the Seal Calculus", July, 1999

Abstract

The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed appli-cations over large scale open networks such as the Internet. Security is addressed by a fine-grained access control mechanism. In [14] we motivated the design choices. Here we develop some technical tools, which include both a reduction and a commitment seman-tics and observational equivalences, to allow us to state and formally verify properties of mobile programs. In particular for studying security, we develop the notion of confine-ment. Confinement is essential for security; as it expresses that an execution environment has complete control over the communication capabilities of the programs that are running within it.

Bibtex

@unpublished{CaVi99,
Author = "Giuseppe Castagna , Jan Vitek",
Title = "Commitment and Confinement for the Seal Calculus",
Key = "osg osg-ftp tr99.8 osg-media osg-asap",
Notes = "",
Month = "July",
Year = "1999"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.