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

• 作 者: QIU Xiping 仇细平 MIAO Xianghua 缪祥华 YANG Xiaojie 杨晓婕
• 机 构: College of Automatics and Information Engineering, Kunming University of Science and Technology, Yua
• 出 处: 中国电子学会信息论分会2009年研究生学术交流会
• 发表日期: 2010年7期
• 关键词: 信息安全 Otway-Rees认证协议 BAN类逻辑 加密密匙

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