DocumentCode
3061935
Title
A Simple Process Calculus for the analysis of Security Protocols
Author
Yonggen Gu ; Yuxi Fu
Author_Institution
Shanghai Jiao Tong University, Shanghai
fYear
2005
fDate
05-08 Dec. 2005
Firstpage
110
Lastpage
114
Abstract
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.
Keywords
formal method; process calculus; security property; security protocol; Calculus; Communication system security; Computer science; Computer security; Context modeling; Formal verification; Logic; National security; Protocols; Space technology; formal method; process calculus; security property; security protocol;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN
0-7695-2405-2
Type
conf
DOI
10.1109/PDCAT.2005.48
Filename
1578877
Link To Document