| 基于组合设计方法的安全支付协议的设计与验证 |
| |
| 引用本文： | 李晓乐,董荣胜,吴光伟. 基于组合设计方法的安全支付协议的设计与验证[J]. 广西科学院学报, 2007, 23(4): 287-291 |
| |
| 作者姓名： | 李晓乐 董荣胜 吴光伟 |
| |
| 作者单位： | 桂林电子科技大学计算机学院,广西桂林,541004;广西职业技术学院计算机技术系,广西南宁,530226;桂林电子科技大学计算机学院,广西桂林,541004;桂林电子科技大学计算机学院,广西桂林,541004;中南林业科技大学计算机科学学院,湖南长沙,410004 |
| |
| 基金项目： | 广西自然科学基金 , 广西研究生教育创新计划 |
| |
| 摘 要： | 针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性.新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易.
|
| 关 键 词： | 组合设计方法 协议原语 支付协议 原子性 |
| 文章编号： | 1002-7378（2007）04-0287-05 |
| 收稿时间： | 2007-08-30 |
| 修稿时间： | 2007-08-30 |
Design and Verification of Secure Payment Protocol Based on Composition Method |
| |
| LI Xiao-le,DONG Rong-sheng and 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 |
| |
| Authors: | LI Xiao-le DONG Rong-sheng WU Guang-wei |
| |
| Affiliation: | College of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China;Department of Computer Technology, Guangxi Polytechnic College, Nanning, Guangxi, 530226, China,College of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China and College of Computer Science, Guilin University of Electronic Technology, Guilin, Guangxi, 541004, China;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. |
| |
| Keywords: | composition method protocol primitive payment protocol atomicity |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《广西科学院学报》浏览原始摘要信息 |
|
点击此处可从《广西科学院学报》下载免费的PDF全文 |
|
