摘要
针对银行、商家和客户对电子支付协议提出的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.
出处
《广西科学院学报》
2007年第4期287-291,共5页
Journal of Guangxi Academy of Sciences
基金
广西自然科学基金项目(0542052)
广西研究生教育创新计划项目(2007105950812M17)资助
关键词
组合设计方法
协议原语
支付协议
原子性
composition method,protocol primitive,payment protocol,atomicity