端到端的信息安全传输系统关键技术研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 图 | 第10-11页 |
| 1 绪论 | 第11-16页 |
| ·本文研究背景 | 第11-13页 |
| ·移动通信系统安全发展现状 | 第11-12页 |
| ·移动通信系统中的安全威胁及安全需求 | 第12-13页 |
| ·本文研究意义 | 第13-14页 |
| ·本文研究内容及结构 | 第14-16页 |
| 2 移动通信系统的安全机制分析 | 第16-30页 |
| ·GSM移动通信系统安全机制分析 | 第16-18页 |
| ·GSM系统的认证和加密机制 | 第16-17页 |
| ·GSM系统的安全性分析 | 第17-18页 |
| ·3G移动通信系统安全机制分析 | 第18-24页 |
| ·3G网络的安全体系结构 | 第18-19页 |
| ·3G网络接入安全 | 第19-22页 |
| ·3G网络其它安全服务 | 第22-23页 |
| ·3G网络安全性分析 | 第23-24页 |
| ·LTE/SAE系统安全机制分析 | 第24-29页 |
| ·LTE/SAE网络安全架构 | 第24页 |
| ·LTE/SAE网络接入安全 | 第24-28页 |
| ·LTE/SAE网络其他安全特征 | 第28页 |
| ·LTE/SAE网络的安全性分析 | 第28-29页 |
| ·移动通信系统安全机制比较 | 第29页 |
| ·本章小结 | 第29-30页 |
| 3 端到端的安全传输系统关键技术研究 | 第30-51页 |
| ·公钥密码在移动通信系统中的应用研究 | 第30-36页 |
| ·WPKI技术需求及可行性分析 | 第30-31页 |
| ·WPKI技术在移动通信系统中的应用 | 第31-32页 |
| ·椭圆曲线密码系统 | 第32-36页 |
| ·移动终端注册及证书颁发过程 | 第36-38页 |
| ·基于ECC的用户与服务网络认证协议 | 第38-40页 |
| ·用户与服务网络AKA协议流程 | 第38-39页 |
| ·用户与服务网络AKA协议安全性分析 | 第39-40页 |
| ·基于ECC的端到端认证与密钥协商协议 | 第40-43页 |
| ·端到端AKA协议流程 | 第40-43页 |
| ·端到端AKA协议安全性分析 | 第43页 |
| ·端到端数据保密性算法 | 第43-48页 |
| ·端到端数据完整性保护算法 | 第48-49页 |
| ·端到端数字签名服务 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 4 基于SVO逻辑的AKA协议分析 | 第51-62页 |
| ·SVO逻辑简介 | 第51-54页 |
| ·SVO逻辑基本语法 | 第51-52页 |
| ·SVO逻辑公理及推理规则 | 第52-54页 |
| ·用户与网络间AKA协议分析 | 第54-57页 |
| ·协议抽象 | 第54页 |
| ·协议初始假设及目标 | 第54-55页 |
| ·协议形式化分析 | 第55-57页 |
| ·端到端AKA协议分析 | 第57-61页 |
| ·协议抽象 | 第57-58页 |
| ·协议初始假设及目标 | 第58-59页 |
| ·协议形式化分析 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 5 结论 | 第62-64页 |
| ·全文总结 | 第62-63页 |
| ·未来发展与展望 | 第63-64页 |
| 参考文献 | 第64-66页 |
| 作者简历 | 第66-68页 |
| 学位论文数据集 | 第68页 |
