3G认证与密钥分发协议逻辑化分析  

Logic Analysis of Authentication Key Agreement Protocol of 3G Mobile Communication

作　　者：袁亚飞[1] 廉玉忠[1] 

机构地区：[1]信息工程大学信息工程学院,河南郑州450002

出　　处：《信息工程大学学报》2004年第4期15-17,88,共4页Journal of Information Engineering University

摘　　要：逻辑化方法是当前分析密码协议安全性的重要方法。文章通过运用一种新的认证逻辑系统,分析3G认证与密钥分发协议的安全性,并针对协议的安全漏洞,提出了改进的认证与密钥分发协议方案,解决用户的身份泄露和MS对VLR的认证问题,增强了网络安全性。最后,对改进的协议安全性进行了分析。Based on a new authentication logic system which is designed to be an extension of the arithmetic system and the formail set theory system, the paper analyzes the securities of Authentication Key Agreement protocol of 3G mobile communication , found their security deficiency and the security threats and the improvement of protocol is proposed which achieves authentication of MS to VLR and protects the IMSI.

关 键 词：密钥分发协议 认证 安全漏洞 密码协议 网络安全性 协议安全 逻辑系统 用户 方案 增强 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TP309.7[自动化与计算机技术—计算机科学与技术]