loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer and Information Technology (CIT'04)
SMA Calculus — A Secure Mobile Agent Calculus
Wuhan, China
September 14-September 16
ISBN: 0-7695-2216-5
ASCII Text
x 
 
Rong Peng, Keqing He, Xiaozhen Zhong, "SMA Calculus — A Secure Mobile Agent Calculus," Computer and Information Technology, International Conference on, pp. 516-521, Fourth International Conference on Computer and Information Technology (CIT'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2004.1357247,
author = {Rong Peng and Keqing He and Xiaozhen Zhong},
title = {SMA Calculus — A Secure Mobile Agent Calculus},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2216-5},
pages = {516-521},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357247},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - SMA Calculus — A Secure Mobile Agent Calculus
SN - 0-7695-2216-5
SP516
EP521
A1 - Rong Peng,
A1 - Keqing He,
A1 - Xiaozhen Zhong,
PY - 2004
KW - Software agents
KW - mobile agent
KW - calculus
KW - security
KW - access control
KW - cryptographic algorithm
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Rong Peng, Wuhan University
Keqing He, Wuhan University
Xiaozhen Zhong, Jianghan University
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.
Index Terms:
Software agents, mobile agent, calculus, security, access control, cryptographic algorithm
Citation:
Rong Peng, Keqing He, Xiaozhen Zhong, "SMA Calculus — A Secure Mobile Agent Calculus," cit, pp.516-521, Fourth International Conference on Computer and Information Technology (CIT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.