3g网络认证机制的分析及改进

？基于ban逻辑对第三代移动通信系统的认证协议(aka)进行了形式化分析，指出其存在安全隐患并给出了一种攻击方式。针对问题，利用双向认证传递与内部信道加密技术，设计了一种新的接入认证协议，不仅实现了ms与vlr间的双向认证，加强了hlr与vlr链路间的安全性，而且具有ban逻辑和uc安全模型的双重可证明安全性。