基于CSP和动态博弈的电子支付系统模型

被引：1

作者：

钟旭 ^{[1
]}

程杰仁 ^{[2
]}

唐湘滟 ^{[3
]}

史伟奇 ^{[4
]}

机构：

[1] 长沙学院计算机系

[2] 湘南学院数学系

[3] 湖南省标准化研究院

[4] 湖南公安高等专科学校计算机系

来源：

基金：

湖南省自然科学基金;

关键词：

公平性; 电子支付协议; 通信顺序进程; 动态博弈; 系统模型;

D O I：

暂无

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模,可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模,能分析各种失效情况下协议的安全属性。

引用

页码：177 / 179

页数：3