论文部分内容阅读
移动通讯的发展正影响着无线通讯的未来。然而，无线接入固有的安全缺陷和移动性带来的安全高风险使第三代移动通信系统面临着严重的安全威胁。支持更高接入速率的高级网络组织结构和满足任何时间任何地点接入的复杂网络拓扑结构也会增加潜在攻击的数量和强度。 在UMTS网络中，用户可以通过自己的移动终端获取许多新的服务，而网络接入安全是所有这些服务的基础。本文首先概括性的介绍了目前移动通信网络的安全现状，指出位于移动设备UE和UMTS地面无线接入网UTRAN空中接口是安全的薄弱环节，容易受到攻击，然后阐述了研究接入安全协议的形式化分析工具，BAN逻辑的使用方法，详细介绍了接入安全协议的运行过程，运用BAN逻辑对协议进行分析，发现其中的缺陷，并提出改进的方案。最后依据测试规程，针对目前的商用设备进行测试，发现其中的不足，提出改进的措施。