Logo
LogoUniGeSES

ASG list of publications

Citation

Jan Vitek , Giuseppe Castagna, "Towards a Calculus of Secure Mobile Computations", July, 1998

Abstract

The SEAL calculus is a calculus of mobile computations designed for programming secure distributed applications over large scale open networks. The calculus is a distributed variant of the pi-calculus that incorporates agent mobility as well as strong protection mechanisms. Linear, revocable, capabilities control access to resources and ensure that agents may only use resources that have been allocated to them. Capabilities are also used to protect agents from the hosts on which they execute. The syntax and semantics of the SEAL calculus are presented and its expressive power is demonstrated with an example secure mobile

Bibtex

@unpublished{ViCa98a,
Author = "Jan Vitek , Giuseppe Castagna",
Title = "Towards a Calculus of Secure Mobile Computations",
Key = "osg osg-ftp osg-asap osg-media tr98.3",
Notes = "",
Month = "July",
Year = "1998"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.