SMA calculus - a secure mobile agent calculus

Author

Peng, Rong ; He, Keqing ; Zhong, Xiaozhen

Author_Institution

State Key Lab of Software Eng., Wuhan Univ., China

fYear

2004

fDate

14-16 Sept. 2004

Firstpage

516

Lastpage

521

Abstract

Both access control mechanism and cryptographic algorithms are important measures to protect system´s security. By now, most calculi are designed to provide only one of these description measures. Thus it brings some inconvenience to describe the secure systems´ safe guard mechanisms. The SMA calculus is a secure mobile calculus based on Seal calculus. By extending Seal calculus with cryptographic primitives, the SMA calculus makes it possible to describe both the access control mechanism and the cryptographic algorithms of system. It improves the expression ability and security analysis ability.

Keywords

access control; calculus of communicating systems; cryptography; mobile agents; Seal calculus; access control mechanism; cryptographic algorithms; cryptographic primitives; expression ability; safe guard mechanisms; secure mobile agent calculus; security analysis ability; software agents; system security; Access control; Calculus; Communication system security; Cryptography; Dynamic programming; Helium; Mobile agents; Mobile computing; Protection; Seals;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on

Print_ISBN

0-7695-2216-5

Type

conf

DOI

10.1109/CIT.2004.1357247

Filename

1357247