| 3G认证与密钥分发协议逻辑化分析 |
| |
| 引用本文： | 袁亚飞,廉玉忠.3G认证与密钥分发协议逻辑化分析[J].信息工程大学学报,2004,5(4):15-17,88. |
| |
| 作者姓名： | 袁亚飞 廉玉忠 |
| |
| 作者单位： | 信息工程大学,信息工程学院,河南,郑州,450002 |
| |
| 摘 要： | 逻辑化方法是当前分析密码协议安全性的重要方法。文章通过运用一种新的认证逻辑系统，分析3G认证与密钥分发协议的安全性，并针对协议的安全漏洞，提出了改进的认证与密钥分发协议方案，解决用户的身份泄露和MS对VLR的认证问题，增强了网络安全性。最后，对改进的协议安全性进行了分析。
|
| 关 键 词： | 密钥分发协议 认证 安全漏洞 密码协议 网络安全性 协议安全 逻辑系统 用户 方案 增强 |
| 文章编号： | 1671-0673(2004)04-0015-03 |
Logic Analysis of Authentication Key Agreement Protocol of 3G Mobile Communication |
| |
| YUAN Ya-fei,LIAN Yu-zhong.Logic Analysis of Authentication Key Agreement Protocol of 3G Mobile Communication[J].Journal of Information Engineering University,2004,5(4):15-17,88. |
| |
| Authors: | YUAN Ya-fei LIAN Yu-zhong |
| |
| Abstract: | 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. |
| |
| Keywords: | authentication protocol BAN-like logic formal analysis 3G security |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载全文 |
