| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第一章 绪论 | 第12-18页 |
| ·课题的意义和背景 | 第12-14页 |
| ·研究目标和主要研究内容 | 第14-16页 |
| ·论文的结构及研究路线 | 第16-18页 |
| 第二章 移动通信网络安全问题研究现状 | 第18-34页 |
| ·面向融合的移动网络 | 第18-22页 |
| ·移动网络的演进 | 第18-21页 |
| ·固定移动网络融合 | 第21-22页 |
| ·移动网络的安全威胁分析 | 第22-28页 |
| ·移动终端安全威胁分析 | 第23页 |
| ·接入网安全威胁分析 | 第23-26页 |
| ·第三代移动通信系统核心网安全威胁分析 | 第26-28页 |
| ·移动网络安全问题研究进展 | 第28-32页 |
| ·标准化进展 | 第28-30页 |
| ·学术界研究现状 | 第30-31页 |
| ·产业界发展情况 | 第31-32页 |
| ·本章小结 | 第32-34页 |
| 第三章 可信计算技术及其形式化分析理论研究 | 第34-58页 |
| ·可信计算技术 | 第34-39页 |
| ·可信计算技术及其研究进展 | 第34-36页 |
| ·可信计算的主要概念 | 第36-37页 |
| ·可信计算形式化分析理论 | 第37-39页 |
| ·基于谓词逻辑的可信计算形式化分析方法 | 第39-44页 |
| ·基于谓词逻辑的可信计算形式化语义 | 第39-40页 |
| ·基于谓词逻辑的可信计算形式化分析举例 | 第40-44页 |
| ·可信计算平台安全引导过程的可信性分析 | 第41-43页 |
| ·远程平台证明的可信性分析 | 第43-44页 |
| ·基于条件谓词逻辑的可信计算形式化分析方法 | 第44-49页 |
| ·可信计算中可信的语义和影响可信性的因素 | 第44-45页 |
| ·基于条件谓词逻辑的可信计算形式化语义 | 第45-47页 |
| ·基于条件谓词逻辑的可信计算形式化分析举例 | 第47-49页 |
| ·基于模糊集合的可信计算形式化分析方法 | 第49-54页 |
| ·可信计算中可信的语义和影响可信性的因素 | 第49-50页 |
| ·基于模糊集合的可信计算形式化方法 | 第50-53页 |
| ·基于模糊集合的可信计算形式化分析举例 | 第53-54页 |
| ·一种委托受限的可信计算平台安全引导过程 | 第54-57页 |
| ·本章小结 | 第57-58页 |
| 第四章 基于可信计算的移动终端及UMTS接入安全解决方案 | 第58-78页 |
| ·可信计算在移动网络中的应用 | 第58-60页 |
| ·基于MTM(Mobile Trusted Module)的可信移动终端 | 第60-67页 |
| ·MTM简介 | 第61-63页 |
| ·基于MTM的可信移动平台体系结构 | 第63-64页 |
| ·可信移动平台安全引导过程 | 第64-66页 |
| ·安全引导过程的验证分析 | 第66-67页 |
| ·基于可信计算的UMTS安全接入方案 | 第67-76页 |
| ·可信网络连接TNC | 第68-70页 |
| ·可信UMTS接入方案设计 | 第70-73页 |
| ·可信接入方案的验证分析 | 第73-76页 |
| ·本章小结 | 第76-78页 |
| 第五章 NSIS融合网络管理、控制信令协议的设计与验证 | 第78-110页 |
| ·下一代信令(NSIS)技术及研究进展 | 第78-86页 |
| ·融合网络需要新的IP信令机制 | 第78-79页 |
| ·现有IP网络信令技术分析 | 第79-82页 |
| ·NSIS技术及其研究进展 | 第82-86页 |
| ·Petri网及其在协议形式化描述和验证中的应用 | 第86-91页 |
| ·协议形式化描述和验证方法 | 第86-87页 |
| ·Petri网及其应用 | 第87-91页 |
| ·NSIS网络管理信令协议设计和验证分析 | 第91-100页 |
| ·NSIS网络管理信令协议(NGNM NSLP)设计 | 第91-95页 |
| ·NGNM_NSLP的Petri网描述和可达性分析 | 第95-97页 |
| ·NGNM_NSLP的Petri网不变量分析 | 第97-98页 |
| ·基于NS-2的协议性能分析 | 第98-100页 |
| ·NSIS访问控制信令协议设计和验证分析 | 第100-107页 |
| ·NSIS访问控制信令协议(UAC_NSLP)设计 | 第100-103页 |
| ·UAC_NSLP的Petri网描述和可达性分析 | 第103-105页 |
| ·UAC_NSLP的Petri网不变量分析 | 第105-106页 |
| ·UAC_NSLP协议性能分析 | 第106-107页 |
| ·本章小结 | 第107-110页 |
| 第六章 基于NSIS的UMTS核心网安全防御系统 | 第110-122页 |
| ·UMTS核心网安全性分析 | 第110-112页 |
| ·NSIS框架下的UMTS核心网络动态防御系统体系结构 | 第112-115页 |
| ·NSIS框架下UMTS核心网动态防御系统关键技术 | 第115-119页 |
| ·基于多源信息融合的安全事件分析 | 第115-117页 |
| ·基于策略的自适应防御 | 第117-118页 |
| ·基于UAC_NSLP协议的安全联动 | 第118-119页 |
| ·系统测试分析 | 第119-121页 |
| ·本章小结 | 第121-122页 |
| 第七章 结论 | 第122-126页 |
| ·论文工作结论 | 第122-123页 |
| ·未来研究展望 | 第123-126页 |
| 参考文献 | 第126-138页 |
| 致谢 | 第138-140页 |
| 作者简介 | 第140-142页 |
| 攻读博士学位期间参加的科研项目 | 第142-144页 |
| 攻读博士学位期间发表的论文 | 第144-145页 |
