Logo
LogoUniGeSES

ASG list of publications

Citation

Jan Vitek , Giuseppe Castagna, "Towards a Calculus of Secure Mobile Computations", in Proc. IEEE Workshop on Internet Programming Languages (Chicago, Illinois, May, 1998), pp.

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

@inproceeding{ViCa98b,
Author = "Jan Vitek , Giuseppe Castagna",
Title = "Towards a Calculus of Secure Mobile Computations",
Booktitle = "IEEE Workshop on Internet Programming Languages",
Editor = "",
Publisher = "",
Pages = "",
Organization = "",
Address = "Chicago, Illinois",
Key = "osg osg-ftp osg-asap osg-media",
Notes = "",
Month = "May",
Year = "1998"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.