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

被引：4

作者：

朱里奇

黄本雄

机构：

[1] 华中科技大学电子与信息工程系

[2] 华中科技大学电子与信息工程系湖北省武汉市

[3] 湖北省武汉市

来源：

电子工程师 | 2004年 / 05期

关键词：

3G安全; 认证和密钥分配协议; BAN形式分析;

D O I：

暂无

中图分类号：

TN918.91 [通信安全技术];

学科分类号：

0839 ; 1402 ;

摘要：

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

引用

页码：21 / 24

页数：4