By Topic

SMA calculus - a secure mobile agent calculus

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Rong Peng ; State Key Lab of Software Eng., Wuhan Univ., China ; Keqing He ; Xiaozhen Zhong

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.

Published in:

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

Date of Conference:

14-16 Sept. 2004