|
|||||
|
|
| Otway-Rees协议并行攻击的SG逻辑分析 | |
| 引用本文： | 王小锐,陈连俊,季庆光,曹正君.Otway-Rees协议并行攻击的SG逻辑分析[J].计算机工程,2007,33(6):126-128. |
| 作者姓名： | 王小锐 陈连俊 季庆光 曹正君 |
| 作者单位： | 1. 解放军信息工程大学电子技术学院,郑州,450004 2. 总参51所,北京,100072 3. 中国科学院软件研究所信息安全国家重点实验室,北京,100080 |
| 摘 要： | 网络信息安全很大程度上取决于密码协议的安全，重放攻击和并行攻击是对密码协议的常见攻击，能够分析并行攻击的形式化分析方法并不多见。该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法——SG逻辑，应用它对改进版的Otway-Rees协议进行了分析，找出了BAN类逻辑所不能分析出来的缺陷，针对该缺陷给出了协议的进一步改进，并推证了改进后的协议对SG逻辑的分析是安全的。 |
| 关 键 词： | SG逻辑 并行攻击 Otway-Rees协议 安全性分析 |
| 文章编号： | 1000-3428（2007）06-0126-03 |
| 修稿时间： | 2006-03-30 |
SG Logic Analysis of Otway-Rees Protocol Interleaving Attack |
|
| WANG Xiaorui,CHEN Lianjun,JI Qingguang,CAO Zhengjun.SG Logic Analysis of Otway-Rees Protocol Interleaving Attack[J].Computer Engineering,2007,33(6):126-128. | |
| Authors: | WANG Xiaorui CHEN Lianjun JI Qingguang CAO Zhengjun |
| Affiliation: | 1. Institute of Electronic Technology, PLA Information Engineering University, Zhengzhou 450004; 2. The 51^th Institute, General Staff Head Quarters, Beijng 100072; 3. State Key Laboratory of Information Security, Institute of Software, Chinese Academy of Scierices, Beijing 100080 |
| Abstract: | The security of network relies to a great extend on the security of cryptographic protocol, while interleaving attack and replaying attack are very common in everyday time, and there are little methods for analyzing this inaccuracies. This paper introduces a method for dealing with this problem, which is called SG logic. It shows the syntax and the semantic of SG logic in a great detail, finds the fault of Otway-Rees protocol, and gives a method to improve it. At last, it proves that the improved protocol is secure under the given attack. |
| Keywords: | SG logic Interleaving attack Otway-Rees protocol Security analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |