Title :
A Simple Process Calculus for the analysis of Security Protocols
Author :
Yonggen Gu ; Yuxi Fu
Author_Institution :
Shanghai Jiao Tong University, Shanghai
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;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN :
0-7695-2405-2
DOI :
10.1109/PDCAT.2005.48