DMCA
Towards a Calculus of Secure Mobile Computations (1998)
| Citations: | 26 - 1 self |
BibTeX
@MISC{Vitek98towardsa,
author = {Jan Vitek and Giuseppe Castagna and Centre Universitaire D'informatique},
title = {Towards a Calculus of Secure Mobile Computations},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
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 ß-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 application. 1 Introduction Advances in computer communications and computer hardware are changing the landscape of computing. Networking is now cheap and pervasive. We are beginning to view the Internet as a platform on which large scale distributed programs may be deployed and run. This paper reports on research in the design of the next generation of computer langua...
Keyphrases
secure mobile computation seal calculus next generation example secure mobile application large scale mobile computation strong protection mechanism large scale open network agent mobility distributed variant computer communication computer hardware computer langua expressive power introduction advance
