Otway-Rees认证协议的分析与改进

摘要：

　　安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析了改进的Otway-Rees认证协议,发现改进的协议能达到预期的安全目标。

关键词： 信息安全 Otway-Rees认证协议 BAN类逻辑 加密密匙

作者: QIU Xiping 仇细平 MIAO Xianghua 缪祥华 YANG Xiaojie 杨晓婕

作者单位: College of Automatics and Information Engineering, Kunming University of Science and Technology, Yua 昆明理工大学信息工程与自动化学院,云南650051

会议类型: 国内会议

会议名称: 中国电子学会信息论分会2009年研究生学术交流会

会议地点: 三亚

会议语种:中文

页码: 293-296

在线出版日期: 2010-03-01（万方平台首次上网日期，不代表论文的发表时间）