| LTE网间切换安全机制的形式化分析 |
| |
| 引用本文： | 方颉翔,蒋睿,石清泉.LTE网间切换安全机制的形式化分析[J].东南大学学报(自然科学版),2011,41(1):6-10. |
| |
| 作者姓名： | 方颉翔 蒋睿 石清泉 |
| |
| 作者单位： | 东南大学信息科学与工程学院; |
| |
| 基金项目： | 国家自然科学基金资助项目(60902008); 常州市高技术研究重点实验室研究课题资助项目(CM20103003) |
| |
| 摘 要： | 通过分析3GPP LTE网间切换安全协议,发现通过监听网络消息的方式,入侵者可以在协议的信息交互过程中获取协议的2个核心密钥,并将其用于非法活动而不会被系统发现.为了解决这一问题,在保留原协议信息交互框架的基础上,提出了一种改进的3GPP LTE网间切换安全协议.该改进协议引入了公钥体系,保证密钥不会因为第三方的截取而...
|
| 关 键 词： | LTE/SAE 网间切换 安全 串空间模型 认证测试 |
Formal analysis of inter-RAT handover protocol in LTE |
| |
| Fang Jiexiang,Jiang Rui,Shi Qingquan.Formal analysis of inter-RAT handover protocol in LTE[J].Journal of Southeast University(Natural Science Edition),2011,41(1):6-10. |
| |
| Authors: | Fang Jiexiang Jiang Rui Shi Qingquan |
| |
| Institution: | Fang Jiexiang Jiang Rui Shi Qingquan(School of Information Science and Engineering,Southeast University,Nanjing 210096,China) |
| |
| Abstract: | Through analyzing the inter-RAT(radio access technology) handover security protocol of the third generation partnership project(3GPP) long term evolution(LTE),a security flaw is pointed out.By monitoring network messages,intruders can get and use the keys without being found by network in the exchanging procedure.To solve this problem,an improved protocol which keeps the frame of the 3GPP's protocol is given.In this protocol,the public key system is introduced to keep the core key from stealing.Meanwhile,th... |
| |
| Keywords: | long term evolution(LTE)/system architecture evolution(SAE) inter-RAT(radio access technology) handover security strand space model authentication test |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
