基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁
马成林
肖美华
邓春艳
朱科
1.华东交通大学软件学院 南昌 3300132.华东交通大学软件学院 南昌 3300133.华东交通大学软件学院 南昌 3300134.华东交通大学软件学院 南昌 330013
摘要：为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *，结合可识别性和管辖性构造一种新的管辖规则，运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明，协议 Kerberos *是安全的，运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨，此方法可运用于其它类似协议形式化分析。
关键词：网络安全Kerberos *协议GNY形式化分析
分类号：TP393(计算技术、计算机技术)
资助基金：国家自然科学基金(61163005)计算机软件新技术国家重点实验室开放基金(KFKT2012B18)江西省高等学校科技落地计划(KJLD13038)江西省自然科学基金(2010GZS0150)江西省自然科学基金(20132BAB201033)江西省研究生创新专项(YC2013-S173)
论文发表日期：2014-10-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 1758-1762,1882 )
英文信息