| 基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁 |
| |
| 引用本文： | 马成林,肖美华,邓春艳,朱科.基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁[J].计算机与数字工程,2014(10). |
| |
| 作者姓名： | 马成林 肖美华 邓春艳 朱科 |
| |
| 作者单位： | 华东交通大学软件学院 南昌 330013 |
| |
| 基金项目： | 国家自然科学基金(编号61163005)；计算机软件新技术国家重点实验室开放课题(编号KFKT2012B18)；江西省高校科技落地计划项目(编号KJLD13038)；江西省自然科学基金(编号2010GZS0150，20132BAB201033)；江西省研究生创新专项基金项目(编号YC2013-S173)资助。 |
| |
| 摘 要： | 为了增强通讯网络安全性，研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议，并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *，结合可识别性和管辖性构造一种新的管辖规则，运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明，协议 Kerberos *是安全的，运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨，此方法可运用于其它类似协议形式化分析。
|
| 关 键 词： | 网络安全 Kerberos *协议 GNY 形式化分析 |
Security Analysis of the Kerberos * Protocol Based on the Modified GNY Logic |
| |
| MA Chenglin,XIAO Meihua,DENG Chunyan,ZHU Ke.Security Analysis of the Kerberos * Protocol Based on the Modified GNY Logic[J].Computer and Digital Engineering,2014(10). |
| |
| Authors: | MA Chenglin XIAO Meihua DENG Chunyan ZHU Ke |
| |
| Abstract: | |
| |
| Keywords: | network security Kerberos * protocol GNY formal analysis |
| 本文献已被 万方数据 等数据库收录！ |
