基于动态博弈的电子支付系统模型及自利性

• 作者: 刘运 史伟奇 张波云 程杰仁
• 来源期刊: 计算机应用研究
• 关键词: 公平性 自利性 电子支付协议 动态博弈 系统模型 纳什均衡
• 年，卷（期）: 2008,（8）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2463-2468,2517
• 页数: 7页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.08.065

摘要

使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型,提出了一种电子支付协议的新属性自利性;基于纳什均衡理论给出了自利性的形式化定义,可以用于对电子支付系统安全属性的形式化分析. 与以前的工作相比,其主要贡献为:基于CSP事件对参与者的交叠并发和同步行为建模, 基于博弈策略理论对协议主体的多种不诚实行为和三种质量的通信媒介建模,可以用于分析协议主体与通信媒介之间的合作和竞争行为;对进程失效和通信失效建模,其中通信失效模型考虑了消息延迟导致的失效,因此可以分析更多失效情况下协议的性质;自利性解决了如何描述协议公平性和计算代价的折中性问题,可以表示以协议主体为中心的性质如匿名性等;证明了在给定条件下协议的公平性蕴涵自利性, 反之不成立.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程杰仁	湘南学院数学系	10	109	6.0	10.0
5	史伟奇	湖南公安高等专科学校计算机系	21	145	7.0	11.0
6	张波云	湖南公安高等专科学校计算机系	13	221	8.0	13.0
10	刘运	湖南公安高等专科学校计算机系	1	3	1.0	1.0