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

被引：5

作者：

袁亚飞

廉玉忠

机构：

[1] 信息工程大学信息工程学院

[2] 信息工程大学信息工程学院河南郑州

[3] 河南郑州

来源：

关键词：

逻辑化方法; 认证逻辑系统; 密钥分发协议; 3G认证;

D O I：

暂无

中图分类号：

TN918.1 [理论];

学科分类号：

070104 ;

摘要：

逻辑化方法是当前分析密码协议安全性的重要方法。文章通过运用一种新的认证逻辑系统,分析3G认证与密钥分发协议的安全性,并针对协议的安全漏洞,提出了改进的认证与密钥分发协议方案,解决用户的身份泄露和MS对VLR的认证问题,增强了网络安全性。最后,对改进的协议安全性进行了分析。

引用

页码：15 / 17+88 +88

页数：4