By Topic

Formal analysis of electronic payment protocols based on game theory

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

3 Author(s)
Jinghua Wen ; Coll. of Inf., Guizhou Univ. of Finance & Econ., Guiyang, China ; Li Zhao ; Heling Jiang

A new logical method based on game to model and analyze electronic payment protocols is proposed in this paper. Strict formal analysis for Bolignano protocol is made by this new method, and Bolignano protocol is discovered non-fairness. These works indicate that the ATL logic based on game is more suitable to describe and analyze electronic payment protocols than traditional CTL.

Published in:

Computer Application and System Modeling (ICCASM), 2010 International Conference on  (Volume:6 )

Date of Conference:

22-24 Oct. 2010