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

摘要：

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

关键词：公平性、自利性、电子支付协议、动态博弈、系统模型、纳什均衡

所属期刊栏目：25

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60603062;国家公安部应用创新基金资助项目2005YYCXHNST095;湖南省教育厅资助科研项目07C718;湖南省自然科学基金资助项目06JJ3035

在线出版日期：2008-09-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2463-2468,2517