Formal Analysis of Electronic Payment Protocols Based on Game Theory

摘要：

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.)

关键词： electronic payment protocols fairness formal analysis ATL

作者: Jinghua Wen Li Zhao Heling Jiang

作者单位: College of Information Guizhou University of Finance and Economics Guiyang 550005,China College of Information Guizhou University of Finance and Economics Guiyang, 550005,China

会议类型: 国际会议

会议名称: The 2010 International Conference on Computer Application and System Modeling(2010计算机应用与系统建模国际会议 ICCASM 2010)

会议地点: 太原

会议语种:英文

页码: 319-323

在线出版日期: 2010-10-22（万方平台首次上网日期，不代表论文的发表时间）