| 引用本文： |
-
李晓乐,董荣胜,吴光伟.基于组合设计方法的安全支付协议的设计与验证[J].广西科学院学报,2007,23(4):287-291. [点击复制]
- LI Xiao-le,DONG Rong-sheng,WU Guang-wei.Design and Verification of Secure Payment Protocol Based on Composition Method[J].Journal of Guangxi Academy of Sciences,2007,23(4):287-291. [点击复制]
|
|
| 摘要: |
| 针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。 |
| 关键词: 组合设计方法 协议原语 支付协议 原子性 |
| DOI： |
| 投稿时间：2007-08-30 |
| 基金项目:广西自然科学基金项目(0542052);广西研究生教育创新计划项目(2007105950812M17)资助 |
|
| Design and Verification of Secure Payment Protocol Based on Composition Method |
|
LI Xiao-le1,2, DONG Rong-sheng1, WU Guang-wei1,3
|
| (1.College of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China;2.Department of Computer Technology, Guangxi Polytechnic College, Nanning, Guangxi, 530226, China;3.Department of Computer Science, Central South University of Forestry and Technology, Changsha, Hunan, 410004, China) |
| Abstract: |
| This paper designs a new secure payment protocol by means of the composition method,and verifies its atomicity by SMV.It will meet the needs of the banks and the customers who propose the eleven requirements for secure payment and can be used for transaction of electronic or physical goods,even for multiple payment between different customers and merchants. |
| Key words: composition method protocol primitive payment protocol atomicity |
