By Topic

A Formal Method for Analyzing Fair Exchange Protocols

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Xu Wei ; Zhengzhou Inst. of Inf. Sci. & Technol., Zhengzhou, China ; Wu Dong-ying ; Ma Yan ; Liu Nan

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.

Published in:

Information Engineering, 2009. ICIE '09. WASE International Conference on  (Volume:2 )

Date of Conference:

10-11 July 2009