用户认证协议的安全分析 |
| |
引用本文: | 齐爱琴.用户认证协议的安全分析[J].甘肃科技,2016(8):11-13. |
| |
作者姓名: | 齐爱琴 |
| |
作者单位: | 西北民族大学数学与计算机科学学院,甘肃兰州,730000 |
| |
基金项目: | 中央高校科研项目(x31920150079) |
| |
摘 要: | 认证是网络安全中最重要的一个安全目标,所有其他的安全属性例如完整性、不可否认性、可信性等都依赖于通信双方的认证。因此,很多安全认证协议被提出。而判断协议是否有效的方法主要是模拟。模拟只能证明协议在制定的模拟环境下是否可以达到安全目标。而对于正常真实的各种情况无法真正反应。本文提出了模型检测的方法来对其中一种用户认证协议进行了验证,通过模型检测协议的安全属性可以检测系统能达到的任何状态,比模拟的结果更有效。
|
关 键 词: | Needham-Schroeder协议 规范化 Casper和FDR2 |
本文献已被 CNKI 万方数据 等数据库收录! |
|