Investigations on Simultaneously Secure IBE Scheme and Security Proofs under RO and Non-RO Model

This paper analyses security mechanism and authentication, key agreement protocol of 3G system amply, puts forward a amelioration scheme. This scheme assures security communications without credible VLR. This paper analyses ameliorative protocol and resolves the security communications problem between MS and HLR.

The Analysis and Amendment of Security System in 3G

This paper analyses security mechanism and authentication, key agreement protocol of 3G system amply, puts forward a amelioration scheme. This scheme assures security communications without credible VLR. This paper analyses ameliorative protocol and resolves the security communications problem between MS and HLR.

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

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