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
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;
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
DOI :
10.1109/ICCASM.2010.5619395
