%0 Journal Article
%T 3g网络认证机制的分析及改进
%A 杨超
%A 张俊伟
%A 马建峰
%A 曾勇
%J 通信学报
%D 2011
%X ？基于ban逻辑对第三代移动通信系统的认证协议(aka)进行了形式化分析，指出其存在安全隐患并给出了一种攻击方式。针对问题，利用双向认证传递与内部信道加密技术，设计了一种新的接入认证协议，不仅实现了ms与vlr间的双向认证，加强了hlr与vlr链路间的安全性，而且具有ban逻辑和uc安全模型的双重可证明安全性。
%U http://www.joconline.com.cn/CN/abstract/abstract148426.shtml