| 基于CSP和动态博弈的电子支付系统模型 |
| |
| 引用本文： | 钟旭,程杰仁,唐湘滟,史伟奇. 基于CSP和动态博弈的电子支付系统模型[J]. 计算机工程, 2008, 34(16): 177-179 |
| |
| 作者姓名： | 钟旭 程杰仁 唐湘滟 史伟奇 |
| |
| 作者单位： | 长沙学院计算机系,长沙,410003;湘南学院数学系,郴州,423000;湖南省标准化研究院,长沙,410007;湖南公安高等专科学校计算机系,长沙,410006 |
| |
| 基金项目： | 国家自然科学基金资助项目 , 公安部应用创新计划基金资助项目 , 湖南省自然科学基金资助项目 , 湖南省教育厅基金资助科研项目 , 湖南省高校优秀青年科学研究项目 |
| |
| 摘 要： | 分析电子支付系统的安全问题，提出基于通信顺序进程和动态博弈的电子支付系统模型。该模型对协议主体的各种不诚实行为和3种质量的通信媒介建模，可以用于分析协议主体和通信媒介之间的合作和竞争行为。对进程失效和由于消息丢失或消息延迟导致的通信失效建模，能分析各种失效情况下协议的安全属性。
|
| 关 键 词： | 公平性 电子支付协议 通信顺序进程 动态博弈 系统模型 |
| 修稿时间： | |
Electronic Payment System Model Based on CSP and Dynamic Game |
| |
| 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 |
| |
| Authors: | ZHONG Xu CHENG Jie-ren TANG Xiang-yan SHI Wei-qi |
| |
| Affiliation: | (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) |
| |
| 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. |
| |
| Keywords: | fairness electronic payment protocol Communicating Sequential Processes(CSP) dynamic game system model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
|
