4G无线网络安全接入技术的研究
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-11页 |
| 第1章 绪论 | 第11-23页 |
| ·移动通信系统的发展 | 第11-13页 |
| ·第一代移动通信系统 | 第11页 |
| ·第二代移动通信系统 | 第11-12页 |
| ·第三代移动通信系统 | 第12-13页 |
| ·第四代移动通信系统 | 第13页 |
| ·4G 无线网络的安全研究 | 第13-21页 |
| ·无线网络的安全概述 | 第13-14页 |
| ·4G 无线网络的接入安全概述 | 第14-16页 |
| ·4G 无线网络安全接入研究现状 | 第16-21页 |
| ·选题意义 | 第21-22页 |
| ·论文的主要研究工作 | 第22页 |
| ·论文的结构安排 | 第22-23页 |
| 第2章 相关概念和理论基础 | 第23-37页 |
| ·自证实公钥系统 | 第23-26页 |
| ·对称密码体制 | 第23页 |
| ·非对称密码体制 | 第23-25页 |
| ·自证实公钥系统 | 第25-26页 |
| ·安全协议 | 第26-27页 |
| ·安全协议概述 | 第26页 |
| ·安全协议的设计及分析研究 | 第26-27页 |
| ·DDMP 理论概述 | 第27-37页 |
| ·协议演绎系统 | 第28-30页 |
| ·协议组合逻辑 | 第30-35页 |
| ·DDMP 理论研究现状 | 第35-37页 |
| 第3章 4G 无线网络接入认证新方案 | 第37-46页 |
| ·参数描述 | 第37页 |
| ·移动终端的首次/切换接入认证过程 | 第37-38页 |
| ·移动终端的再次接入认证过程 | 第38-39页 |
| ·新协议的演绎 | 第39-41页 |
| ·新协议安全性的形式化证明和分析 | 第41-46页 |
| ·协议流程表示 | 第41页 |
| ·安全属性的形式化证明 | 第41-44页 |
| ·新方案的综合分析 | 第44-46页 |
| 结论与展望 | 第46-48页 |
| 参考文献 | 第48-52页 |
| 致谢 | 第52-53页 |
| 附录A 攻读学位期间所发表的学术论文 | 第53页 |