论文研究 基于动态博弈的电子支付系统模型及自利性.pdf

使用通信顺序进程CSP和博弈理论提出了基于动态博弈的电子支付系统模型，提出了一种电子支付协议的新属性自利性； 基于纳什均衡理论给出了自利性的形式化定义，可以用于对电子支付系统安全属性的形式化分析。 与以前的工作相比，其主要贡献为：基于CSP事件对参与者的交叠并发和同步行为建模, 基于博弈策略理论对协议主体的多种不诚实行为和三种质量的通信媒介建模，可以用于分析协议主体与通信媒介之间的合作和竞争行为; 对进程失效和通信失效建模，其中通信失效模型考虑了消息延迟导致的失效，因此可以分析更多失效情况下协议的性质;自