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

Electronic Payment System Model Based on CSP and Dynamic Game

作　　者：钟旭[1] 程杰仁[2] 唐湘滟 史伟奇[4] 

机构地区：[1]长沙学院计算机系,长沙410003 [2]湘南学院数学系,郴州423000 [3]湖南省标准化研究院,长沙410007 [4]湖南公安高等专科学校计算机系,长沙410006

出　　处：《计算机工程》2008年第16期177-179,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60603062);公安部应用创新计划基金资助项目(2007YYCXHNST072);湖南省自然科学基金资助项目(06JJ3035);湖南省教育厅基金资助科研项目(07C718);湖南省高校优秀青年科学研究项目(07B017)

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]