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

• 作者: 史伟奇 唐湘滟 程杰仁 钟旭
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 公平性 电子支付协议 通信顺序进程 动态博弈 系统模型
• 年，卷（期）: 2008,（16）
• 所属期刊栏目: 安全技术
• 页码范围: 177-179
• 页数: 3页
• 分类号: TP309
• 字数: 4416字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.16.061

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程杰仁	湘南学院数学系	18	188	7.0	13.0
2	史伟奇	湖南公安高等专科学校计算机系	21	145	7.0	11.0
3	唐湘滟		4	41	3.0	4.0
4	钟旭	长沙学院计算机系	2	3	1.0	1.0