The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Towards a Calculus of Secure Mobile Computations

Author

Jan Vitek and Giuseppe Castagna

Entry type

inproceedings

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

Date

1998

URL

http://www.cs.purdue.edu/homes/jv/pub/wipl98-us.ps.gz

Address

Chicago, IL

Booktitle

Workshop on Internet Programming Languages

Key alpha

ViCa98

Publication Date

0000-00-00

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.