摘要: 分析电子支付系统的安全问题,提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和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
中图分类号:
钟 旭;程杰仁;唐湘滟;史伟奇. 基于CSP和动态博弈的电子支付系统模型[J]. 计算机工程, 2008, 34(16): 177-179.
ZHONG Xu; CHENG Jie-ren; TANG Xiang-yan; SHI Wei-qi. Electronic Payment System Model Based on CSP and Dynamic Game[J]. Computer Engineering, 2008, 34(16): 177-179.