Otway-Rees协议并行攻击的SG逻辑分析

• 作者: 季庆光 曹正君 王小锐 陈连俊
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: SG逻辑 并行攻击 Otway-Rees协议 安全性分析
• 年，卷（期）: 2007,（6）
• 所属期刊栏目: 安全技术
• 页码范围: 126-128
• 页数: 3页
• 分类号: TP393.09
• 字数: 3547字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.06.044

摘要

网络信息安全很大程度上取决于密码协议的安全,重放攻击和并行攻击是对密码协议的常见攻击,能够分析并行攻击的形式化分析方法并不多见.该文介绍了一种分析密码协议并行攻击和重放攻击的逻辑方法--SG逻辑,应用它对改进版的Otway-Rees协议进行了分析,找出了BAN类逻辑所不能分析出来的缺陷,针对该缺陷给出了协议的进一步改进,并推证了改进后的协议对SG逻辑的分析是安全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	季庆光	中国科学院软件研究所信息安全国家重点实验室	10	227	6.0	10.0
2	王小锐	解放军信息工程大学电子技术学院	1	3	1.0	1.0