Title :
A Formal Method for Analyzing Fair Exchange Protocols
Author :
Wei, Xu ; Dong-Ying, Wu ; Yan, Ma ; Nan, Liu
Author_Institution :
Zhengzhou Inst. of Inf. Sci. & Technol., Zhengzhou, China
Abstract :
In the area of formal analyzing of security protocols, more and more attention has been given to analyzing properties of fair exchange protocols such as non-repudiation and fairness. On the basis of analyzing the limitations of existing methods, this paper presents a new method to analyze fairness and non-repudiation, in which PLTL are used to describe non-repudiation and fairness, and the model-check method is combined to analyze the properties. In this way, we can detect out one fairness flaw of fairZG protocol.
Keywords :
cryptographic protocols; formal verification; message authentication; set theory; PLTL; authentication protocol; cryptographic protocol; fair key exchange protocol; fairZG protocol; fairness flaw detection; formal model-checking method; nonrepudiation protocol; security protocol; set theory; Authentication; Cryptographic protocols; Digital signatures; Electronic mail; Explosions; Information analysis; Information science; Information security; Logic; Web and internet services; Fair Exchange protocol; Fairness; Model-checking; Non- Repudiation; PLTL;
Conference_Titel :
Information Engineering, 2009. ICIE '09. WASE International Conference on
Conference_Location :
Taiyuan, Shanxi
Print_ISBN :
978-0-7695-3679-8
DOI :
10.1109/ICIE.2009.185
