计算机工程与应用Issue(8)：6-10,5.DOI:10.3778/j.issn.1002-8331.1310-0124
电子商务支付协议认证性的SVO逻辑验证
Verification of e-commerce payment protocol authentication properties based on SVO logic
摘要
Abstract
Compared with the falsification-oriented approaches(such as model checking), the justification-oriented approaches (such as theorem proof and logic reasoning)can verify the correctness of protocols in unbounded number of sessions. However, those approaches are difficult and the verification process is complicated. Based on the SVO logic, this paper chooses the Netbill micropayment protocol to formally analyze the authentication properties of E-commerce payment pro-tocol. First, the axiom set of SVO is extended. Then, a simplified model of Netbill protocol is proposed without affecting the original security properties. According to the protocol’s characteristic, the verifying goals are improved. Moreover, the more reasonable protocol assumptions than before are given, the detailed reasoning process is showed, and the result is analyzed. The result shows that Netbill protocol satisfies the authentication properties. In the end, a comparison with other related research works is showed.关键词
SVO逻辑/电子商务支付/Netbill协议/认证性Key words
SVO logic/e-commerce payment/Netbill protocol/authentication properties分类
信息技术与安全科学引用本文复制引用
肖茵茵,苏开乐..电子商务支付协议认证性的SVO逻辑验证[J].计算机工程与应用,2014,(8):6-10,5.基金项目
国家自然科学基金（No.60903054）；国家重点基础研究发展规划（973）（No.2010CB328103）；广东高校优秀青年创新人才培育项目（No.LYM11085，No.LYM11084）。 （）
