A Distributed Implementation for the Seal Calculus

Author

Jing, Zhang ; Li-Cui, Zhang ; Cheng-Zhi, Jin

Author_Institution

Coll. of Comput. Sci. & Technol., Jilin Univ., ChangChun

fYear

2006

fDate

3-5 Aug. 2006

Firstpage

348

Lastpage

353

Abstract

The Seal calculus is a calculus of mobile computations designed for programming secure distributed applications over large scale open networks such as the Internet. This paper presents a distributed implementation for the Seal calculus based on an abstract machine SAM, a translation from Seal terms to SAM term, a proof of the correctness of such a translation, which asserts that a Seal term and its translation exhibit the same observance behavior, and a prototype Java implementation. The implementation helps to speed up the development of programming languages based on Seal and experimentation of Seal on concrete examples

Keywords

Internet; Java; finite automata; mobile computing; process algebra; Internet; Java; Seal calculus; abstract machine SAM; large scale open networks; mobile computations; programming language; secure distributed application; Calculus; Computer languages; Computer networks; Distributed computing; IP networks; Java; Large-scale systems; Mobile computing; Prototypes; Seals; Seal Calculus; abstract machine; distributed application; mobile computation;

fLanguage

English

Publisher

ieee

Conference_Titel

Pervasive Computing and Applications, 2006 1st International Symposium on

Conference_Location

Urumqi

Print_ISBN

1-4244-0326-x

Electronic_ISBN

1-4244-0326-x

Type

conf

DOI

10.1109/SPCA.2006.297596

Filename

4079167