石清泉
- 作品数：3 被引量：2H指数：1
- 供职机构：东南大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 3GPP LTE区间安全切换技术研究
- 通过对E-UTRAN架构及3GPP LTE区间切换方式的分析，指出切换中可能存在的安全缺陷，即存在伪冒UE攻击与重放攻击，使得UE与源基站、UE与目标基站之间的认证正确性不能保证。由此，本文提出了一种改进方案来克服伪冒U...
- 石清泉蒋睿杨晓辉
- 关键词：无线接入网络切换方式重放攻击
- 文献传递
- 基于串空间模型的3GPP LTE网络安全切换机制分析与改进
- 随着3G将在09年底全面开始商用，3GPP LTE的应用也相距不远。届时，3G网络与3GPP LTE网络必将—段时期内存在共存的状态，对于它们之间的切换安全问题提出了更高的要求。同时，3GPP LIE网络区间切换方式也存...
- 石清泉
- 关键词：网络安全切换机制串空间模型安全协议形式化方法
- 文献传递
- LTE网间切换安全机制的形式化分析被引量：2
- 2011年
- 通过分析3GPP LTE网间切换安全协议,发现通过监听网络消息的方式,入侵者可以在协议的信息交互过程中获取协议的2个核心密钥,并将其用于非法活动而不会被系统发现.为了解决这一问题,在保留原协议信息交互框架的基础上,提出了一种改进的3GPP LTE网间切换安全协议.该改进协议引入了公钥体系,保证密钥不会因为第三方的截取而泄露;同时,改进的协议还为关键消息提供了消息传递双方的双向认证过程,不仅能保证消息传递双方身份,还能确保消息不会被第三方随意修改.最后,应用串空间模型理论及认证测试方法,从协议的机密性与认证的正确性2个方面形式化地检验了改进协议的安全性.结果表明,改进的协议能够有效地保证消息的机密性与认证的正确性,从而确保协议的安全.
- 方颉翔蒋睿石清泉
- 关键词：LTE/SAE串空间模型
