|
|||||
|
|
| 电子支付协议的博弈逻辑模型与形式化分析 | |
| 引用本文： | 文静华,张梅,张焕国.电子支付协议的博弈逻辑模型与形式化分析[J].微电子学与计算机,2007,24(9):113-115. |
| 作者姓名： | 文静华 张梅 张焕国 |
| 作者单位： | 1. 贵州财经学院,信息学院,贵州,贵阳,550004;武汉大学,计算机学院,湖北,武汉,4300724 2. 贵州财经学院,信息学院,贵州,贵阳,550004 3. 武汉大学,计算机学院,湖北,武汉,4300724 |
| 基金项目： | 国家自然科学基金;贵阳市科学技术发展基金 |
| 摘 要： | 提出用一种新的基于博弈逻辑ATL（Ahernating-time Temporal Logic）的电子支付协议建模与分析方法。新方法克服了传统时序逻辑把协议看成封闭系统进行分析的缺点．可以成功地对电子商务中的对抗与合作行为进行描述．利用新方法对Bolignano协议进行了严格的形式化分析．发现该协议不能满足公平性要求． |
| 关 键 词： | 电子支付协议 公平性 形式化分析 |
| 文章编号： | 1000-7180（2007）09-0113-03 |
| 修稿时间： | 2007-06-05 |
Formal Analysis of Electronic Payment Protocols Based on Game Logic |
|
| WEN Jing-hua,ZHANG Mei,ZHANG Huan-guo.Formal Analysis of Electronic Payment Protocols Based on Game Logic[J].Microelectronics & Computer,2007,24(9):113-115. | |
| Authors: | WEN Jing-hua ZHANG Mei ZHANG Huan-guo |
| Affiliation: | 1 Information Institute, Guizhou Financial Institute, Guiyang 550004, China; 2 School of Computer, Wuhan University, Wuhan 430072, 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. |
| Keywords: | ATL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
