【摘要】 使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上6种攻击,提高了协议的安全性。更多还原

【Abstract】 The simplified SET purchase protocol is analyzed using a formal analysis method called the approach of the running-mode analysis.By analyzing the protocol,six different types of attack are found,of which four types of attack are first found.An in-depth analysis and classify is also made to find the leaks of the protocol.Finally,some improvements are made to avoid these attacks effectively,which improve the security of the protocol.更多还原