基于组合设计方法的安全支付协议的设计与验证  

Design and Verification of Secure Payment Protocol Based on Composition Method

作　　者：李晓乐[1] 董荣胜[1] 吴光伟[1] 

机构地区：[1]桂林电子科技大学计算机学院

出　　处：《广西科学院学报》2007年第4期287-291,共5页Journal of Guangxi Academy of Sciences

基　　金：广西自然科学基金项目(0542052);广西研究生教育创新计划项目(2007105950812M17)资助

摘　　要：针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性。新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易。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.

关 键 词：组合设计方法 协议原语 支付协议 原子性 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]