基于改进GNY逻辑的Kerberos*协议安全性分析
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证.Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进BAN逻辑说明改进协议的安全性.针对添加用户物理位置这一因素进一步完善后的协议Kerberos*,结合可识别性和管辖性构造一种新的管辖规则,运用改进GNY逻辑对协议Kerberos*进行安全性分析.分析结果表明,协议Kerberos*是安全的,运用改进GNY逻辑证明过程比改进BAN逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析.
网络安全 Kerberos*协议 GNY逻辑 安全性
马成林 肖美华 邓春艳 朱科
华东交通大学 软件学院,江西 南昌 330013
国内会议
济南
中文
1-7
2014-10-16（万方平台首次上网日期，不代表论文的发表时间）