用户认证协议的安全分析

• 作者: 齐爱琴
• 来源期刊: 甘肃科技
• 学科: 工学
• 关键词: Needham-Schroeder协议 规范化 Casper和FDR2
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 信息技术
• 页码范围: 11-13
• 页数: 3页
• 分类号: TN915.04
• 字数: 2310字
• 语种: 中文

摘要

认证是网络安全中最重要的一个安全目标,所有其他的安全属性例如完整性、不可否认性、可信性等都依赖于通信双方的认证.因此,很多安全认证协议被提出.而判断协议是否有效的方法主要是模拟.模拟只能证明协议在制定的模拟环境下是否可以达到安全目标.而对于正常真实的各种情况无法真正反应.本文提出了模型检测的方法来对其中一种用户认证协议进行了验证,通过模型检测协议的安全属性可以检测系统能达到的任何状态,比模拟的结果更有效.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	齐爱琴	西北民族大学数学与计算机科学学院	11	17	1.0	4.0