10.3969/j.issn.1000-3428.2007.06.044
Otway-Rees协议并行攻击的SG逻辑分析
网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见.该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法--SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的.
SG逻辑、并行攻击、Otway-Rees协议、安全性分析
33
TP393.09(计算技术、计算机技术)
2007-04-26(万方平台首次上网日期,不代表论文的发表时间)
共3页
126-128