DocumentCode
532066
Title
Formal analysis of electronic payment protocols based on game theory
Author
Wen, Jinghua ; Zhao, Li ; Jiang, Heling
Author_Institution
Coll. of Inf., Guizhou Univ. of Finance & Econ., Guiyang, China
Volume
6
fYear
2010
fDate
22-24 Oct. 2010
Abstract
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.
Keywords
data analysis; electronic commerce; financial management; game theory; ATL logic; Bolignano protocol; electronic payment protocols; formal analysis; game theory; Artificial neural networks; Computational modeling; Logic gates; Protocols; ATL; Electronic payment protocols; fairness; formal analysis;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Application and System Modeling (ICCASM), 2010 International Conference on
Conference_Location
Taiyuan
Print_ISBN
978-1-4244-7235-2
Electronic_ISBN
978-1-4244-7237-6
Type
conf
DOI
10.1109/ICCASM.2010.5619395
Filename
5619395
Link To Document