文献类型：期刊文献

中文题名：3G移动通讯AKA协议及其形式化验证

英文题名：AKA Protocol for 3G Mobile Communications and Its Formal Verification

作者：张爱新[1];杨明福[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2003

卷号：29

期号：1

起止页码：46

中文期刊名：华东理工大学学报（自然科学版）

外文期刊名：Journal of East China University of Science and Technology

收录：CSTPCD;;Scopus;北大核心:【北大核心2000】；CSCD:【CSCD2011_2012】；

语种：中文

中文关键词：3G移动通讯;AKA协议;形式化验证;移动通讯系统;密钥协商协议;AUTLOG;安全机制;认证逻辑

外文关键词：mobile communications; authentication; key agreement; AUTLOG

摘要：简略回顾了移动通讯的发展过程以及相应的安全机制。介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程。在假定HE和SN之间的系统连接安全的前提下,该协议能够成功地达到预期目标。
The development process and security mechanisms for mobile communications are reviewed. The 3GPP authentication and key agreement protocol (AKA) is introduced and formally verified using AUTLOG. It is proved that the goals of AKA protocol can be met successfully with the assumption that the communicatioin path between HE and SN is secure.