| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 绪论 | 第13-21页 |
| 1.1 研究背景 | 第13-17页 |
| 1.1.1 CBTC系统概述 | 第13-15页 |
| 1.1.2 安全通信协议研究现状 | 第15-17页 |
| 1.3 通信协议的研究方法 | 第17-18页 |
| 1.4 选题的目的和意义 | 第18-19页 |
| 1.5 论文结构和安排 | 第19-21页 |
| 2 RSSP-Ⅰ与RSSP-Ⅱ协议架构的对比研究 | 第21-39页 |
| 2.1 概述 | 第21-24页 |
| 2.2 RSSP-Ⅰ安全通信协议 | 第24-28页 |
| 2.3 RSSP-Ⅱ安全通信协议 | 第28-36页 |
| 2.3.1 协议安全层架构 | 第28-29页 |
| 2.3.2 RSSP-Ⅱ实现安全通信的过程 | 第29-36页 |
| 2.4 RSSP-Ⅰ与RSSP-Ⅱ的差异 | 第36页 |
| 2.5 小结 | 第36-39页 |
| 3 RSSP-Ⅰ与RSSP-Ⅱ协议性能的对比研究 | 第39-77页 |
| 3.1 CBTC中RSSP-Ⅰ安全通信协议的防护 | 第39-42页 |
| 3.2 CBTC中RSSP-Ⅱ安全通信协议的防护 | 第42-45页 |
| 3.3 协议安全性分析 | 第45-59页 |
| 3.3.1 加密方面 | 第45-50页 |
| 3.3.2 认证方面 | 第50-59页 |
| 3.4 协议计算复杂度对比分析 | 第59-69页 |
| 3.4.1 协议计算复杂度组成 | 第59-66页 |
| 3.4.2 RSSP-Ⅰ与RSSP-Ⅱ计算复杂度对比分析 | 第66-69页 |
| 3.5 安全通信协议时延性能分析 | 第69-75页 |
| 3.5.1 时延组成分析 | 第69-74页 |
| 3.5.2 RSSP-Ⅰ与RSSP-Ⅱ时延对比分析 | 第74-75页 |
| 3.6 小结 | 第75-77页 |
| 4 RSSP-Ⅱ安全通信协议性能的建模研究 | 第77-93页 |
| 4.1 有色PETRI网(CPN) | 第77-80页 |
| 4.1.1 采用Petri网的原因 | 第77页 |
| 4.1.2 有色Petri网(CPN)形式化定义 | 第77-78页 |
| 4.1.3 建模工具CPN Tools | 第78-80页 |
| 4.2 用CPN TOOLS对RSSP-Ⅱ通信协议建模 | 第80-86页 |
| 4.2.1 建模思路 | 第81页 |
| 4.2.2 协议的基本模型 | 第81-86页 |
| 4.3 引入重发机制的协议建链模型 | 第86-88页 |
| 4.4 引入丢包和超时重发机制的消息传输模型 | 第88-91页 |
| 4.5 小结 | 第91-93页 |
| 5 协议性能仿真结果及分析 | 第93-101页 |
| 5.1 基于CPN的安全通信协议分析方法 | 第93-97页 |
| 5.1.1 状态空间分析 | 第93-96页 |
| 5.1.2 性能分析方法 | 第96-97页 |
| 5.2 仿真结果及性能分析 | 第97-100页 |
| 5.3 小结 | 第100-101页 |
| 6 总结和展望 | 第101-103页 |
| 参考文献 | 第103-107页 |
| 作者简历及攻读硕士期间取得的成果 | 第107-111页 |
| 学位论文数据集 | 第111页 |
