SET协议认证机制的形式化分析

摘要：

移动支付是移动电子商务的重要组成部分,而安全性成为移动支付的发展瓶颈,因此电子商务协议的安全性成为此问题的核心.为了解决上述问题,使用串空间模型的测4试理论,对SET协议中用户和商家、商家和支付网关之间的认证性进行形式化分析,分析结果表明商家与支付网关之间的认证是安全的；用户和商家的认证性不满足安全需求,在支付交易流程中双方易受到攻击.

关键词：串空间模型、SET协议、形式化分析、安全协议

所属期刊栏目：40

分类号：TP393.08(计算技术、计算机技术)

在线出版日期：2012-10-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：70-72