作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2008, Vol. 34 ›› Issue (16): 177-179. doi: 10.3969/j.issn.1000-3428.2008.16.061

• 安全技术 • 上一篇    下一篇

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

钟 旭1,程杰仁2,唐湘滟3,史伟奇4   

  1. (1. 长沙学院计算机系,长沙 410003;2. 湘南学院数学系,郴州 423000;3. 湖南省标准化研究院,长沙 410007;4. 湖南公安高等专科学校计算机系,长沙 410006)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-08-20 发布日期:2008-08-20

Electronic Payment System Model Based on CSP and Dynamic Game

ZHONG Xu1, CHENG Jie-ren2, TANG Xiang-yan3, SHI Wei-qi4   

  1. (1. Department of Computer, Changsha University, Changsha 410003; 2. Department of Mathematics, Xiangnan University, Chenzhou 423000; 3. Hunan Institute of Standardization, Changsha 410007; 4. Department of Computer, Hunan Public Security Academy, Changsha 410006)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-08-20 Published:2008-08-20

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

关键词: 公平性, 电子支付协议, 通信顺序进程, 动态博弈, 系统模型

Abstract: On the basis of analyzing the features of electronic ecommerce systems, a novel electronic ecommerce systems model based on Communicating Sequential Processes(CSP) and dynamic game is proposed. Modeling channels in different qualities and participants of dishonest behaviors help to analyze cooperative and adversarial behaviors. Modeling process failure and channel failure help to analyze a protocol’s security properties in failed environment.

Key words: fairness, electronic payment protocol, Communicating Sequential Processes(CSP), dynamic game, system model

中图分类号: