对两个特定安全模型下密钥交换协议的分析

• 作者: 曹金政 李钰汀 程庆丰
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: AKE协议 安全模型 安全属性 会话密钥
• 年，卷（期）: 2019,（3）
• 所属期刊栏目: 网络空间安全
• 页码范围: 340-345
• 页数: 6页
• 分类号: TP309.7|TN918.1
• 字数: 6342字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2019.03.015

摘要

认证密钥交换协议的设计中,安全性分析是一个重要的环节.目前已有多种安全模型被提出以证明协议的安全性.然而在繁琐的规约过程中易出现人为失误,一些已被证明安全的协议实际上存在着明显的安全缺陷.对两个特定安全模型下可证明安全的密钥交换协议进行了安全性分析.结果表明,两个协议都存在安全隐患,其中CL-AKA协议不具备抗未知密钥共享安全性;GAAKE协议不具备前向安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程庆丰		9	11	2.0	3.0
3	李钰汀		2	0	0.0	0.0
9	曹金政		2	1	1.0	1.0