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

Design and Verification of Secure Payment Protocol Based on Composition Method

针对银行、商家和客户对电子支付协议提出的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.