3G认证和密钥分配协议的形式化分析及改进

• 作者: 朱里奇 黄本雄
• 来源期刊: 电子工程师
• 学科: 工学
• 关键词: 3G安全 认证和密钥分配协议 BAN形式分析
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 通信技术与设备
• 页码范围: 21-24
• 页数: 4页
• 分类号: TN918.91
• 字数: 2805字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-4888.2004.05.008

摘要

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄本雄	华中科技大学电子与信息工程系	158	1120	17.0	23.0
2	朱里奇	华中科技大学电子与信息工程系	1	10	1.0	1.0