Analysis and Verification of Secure E-commerce Payment Protocol Based on Four Parties
Author(s): XIAO Shi-cheng, LI Kai, GAN Zao-bin
Pages: 75-78,92
Year: 2012 Issue: 3
Journal: Computer Science
Keyword: SMV; 原子性;
Abstract: 以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证.验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求.
Pages: 75-78,92
Year: 2012 Issue: 3
Journal: Computer Science
Keyword: SMV; 原子性;
Abstract: 以基于四方的安全电子商务支付协议为研究对象,建立了协议的有限状态模型以及安全计算树逻辑CTL公式,利用符号模型检测工具SMV对协议的原子性进行检测验证.验证结果证明,基于四方的安全电子商务支付协议满足电子支付的金钱原子性、商品原子性以及确认发送原子性,协议符合电子支付的原子性安全要求.
Related Articles