10.3969/j.issn.1672-9722.2012.06.023
SET协议认证机制的形式化分析
移动支付是移动电子商务的重要组成部分,而安全性成为移动支付的发展瓶颈,因此电子商务协议的安全性成为此问题的核心.为了解决上述问题,使用串空间模型的测4试理论,对SET协议中用户和商家、商家和支付网关之间的认证性进行形式化分析,分析结果表明商家与支付网关之间的认证是安全的;用户和商家的认证性不满足安全需求,在支付交易流程中双方易受到攻击.
串空间模型、SET协议、形式化分析、安全协议
40
TP393.08(计算技术、计算机技术)
2012-10-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
70-72