loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)
A Simple Process Calculus for the analysis of Security Protocols
Dalian, China
December 05-December 08
ISBN: 0-7695-2405-2
ASCII Text
x 
 
Yonggen Gu, Yuxi Fu, Guoqiang Li, "A Simple Process Calculus for the analysis of Security Protocols," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 110-114, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/PDCAT.2005.48,
author = {Yonggen Gu and Yuxi Fu and Guoqiang Li},
title = {A Simple Process Calculus for the analysis of Security Protocols},
journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2405-2},
pages = {110-114},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.48},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing Applications and Technologies, International Conference on
TI - A Simple Process Calculus for the analysis of Security Protocols
SN - 0-7695-2405-2
SP110
EP114
A1 - Yonggen Gu,
A1 - Yuxi Fu,
A1 - Guoqiang Li,
PY - 2005
KW - security protocol
KW - formal method
KW - process calculus
KW - security property
VL - 0
JA - Parallel and Distributed Computing Applications and Technologies, International Conference on
ER -
 
Yonggen Gu, Shanghai Jiao Tong University, Shanghai
Yuxi Fu, Shanghai Jiao Tong University, Shanghai
Guoqiang Li, Japan Advanced Institute of Science and Technology, Japan
The spi calculus has been proved useful for reasoning about security protocols. It is however difficult to mechanize the equivalence checking in that framework due to the complexity caused by name passing communications. The paper proposes a calculus for the analysis of the security protocols (SPC for short) as a simplification of the spi calculus. SPC can explicitly express environment knowledge, protocol participants and their knowledge. We present its syntax and semantics, and specify some security properties in terms of equivalence relations. Finally two examples of formal verification is given.
Index Terms:
security protocol, formal method, process calculus, security property
Citation:
Yonggen Gu, Yuxi Fu, Guoqiang Li, "A Simple Process Calculus for the analysis of Security Protocols," pdcat, pp.110-114, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.