SMA calculus - a secure mobile agent calculus

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.