基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁

• 作者: 朱科 肖美华 邓春艳 马成林
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 网络安全 Kerberos *协议 GNY 形式化分析
• 年，卷（期）: 2014,（10）
• 所属期刊栏目: 专栏
• 页码范围: 1758-1762,1882
• 页数: 6页
• 分类号: TP393
• 字数: 4594字
• 语种: 中文
• DOI: 10.3969/j.issn1672-9722.2014.10.003

摘要

为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *，结合可识别性和管辖性构造一种新的管辖规则，运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明，协议 Kerberos *是安全的，运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨，此方法可运用于其它类似协议形式化分析。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖美华	华东交通大学软件学院	18	92	6.0	9.0
2	马成林	华东交通大学软件学院	2	6	1.0	2.0
3	邓春艳	华东交通大学软件学院	1	1	1.0	1.0
4	朱科	华东交通大学软件学院	2	6	1.0	2.0