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

Volume

2

fYear

2009

fDate

10-11 July 2009

Firstpage

117

Lastpage

120

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Engineering, 2009. ICIE '09. WASE International Conference on

Conference_Location

Taiyuan, Shanxi

Print_ISBN

978-0-7695-3679-8

Type

conf

DOI

10.1109/ICIE.2009.185

Filename

5211468