LTE网间切换安全机制的形式化分析

来源 :东南大学学报(自然科学版) | 被引量 : 0次 | 上传用户:jyj910
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过分析3GPP LTE网间切换安全协议,发现通过监听网络消息的方式,入侵者可以在协议的信息交互过程中获取协议的2个核心密钥,并将其用于非法活动而不会被系统发现.为了解决这一问题,在保留原协议信息交互框架的基础上,提出了一种改进的3GPP LTE网间切换安全协议.该改进协议引入了公钥体系,保证密钥不会因为第三方的截取而泄露;同时,改进的协议还为关键消息提供了消息传递双方的双向认证过程,不仅能保证消息传递双方身份,还能确保消息不会被第三方随意修改.最后,应用串空间模型理论及认证测试方法,从协议的机密性与认证
其他文献
目的了解医院外科围手术期患者在临床药师干预前后抗菌药物的应用情况。方法对2010年1月至5月90例Ⅰ类切口手术患者和2010年6月至10月100例Ⅰ类切口手术患者的用药情况进行回
作物生长过程的计算机模拟是国际上近30年来迅速崛起的一项新技术,它的应用与发展已引起农学家、作物生理学家、作物生态学家和农业气象学家与日俱增的重视[1].
期刊
由于用实验方法来研究工艺参数对铸坯温度场的影响较困难,故而提出了一种在冶金冷却条件指导下的启发式GA(遗传算法)数值模拟优化方法,为优化工艺参数提供了理论依据,并在优化基础
为了提高火控系统实时性,提出了基于粒子群优化算法的弹道解算方法,该方法提高了系统响应速度,并为更好地与多核平台下的并行计算相结合提供了基础.首先在预估计瞄准角附近生
2000年4月12日,青海省北部及甘肃河西走廊出现了一次大风、强沙尘暴天气.文中从天气事实、地面形势、中小尺度天气系统及高空环流形势等方面,与1993年5月5日黑风进行了对比分
针对采用DSP实现空间矢量脉宽调制算法存在的时序错乱、相位抖动的问题,提出了一种基于FPGA实现变频控制的新思路.结合空间矢量脉宽调制(SVPWM)技术,采用DDS算法代替传统的DSP,产生