%0 Journal Article
%T 3G移动通讯AKA协议及其形式化验证
%A 张爱新
%A 杨明福
%J 华东理工大学学报
%D 2003
%X 简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。
%K 3G移动通讯
%K AKA协议
%K 形式化验证
%K 移动通讯系统
%K 密钥协商协议
%K AUTLOG
%K 安全机制
%K 认证逻辑
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=20030115&flag=1