| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1. 引言 | 第11-23页 |
| 1.1 研究背景 | 第11页 |
| 1.2 CTCS-3级列控系统 | 第11-13页 |
| 1.3 EN 50159安全通信标准 | 第13-15页 |
| 1.4 CTCS-3级列控系统安全通信协议 | 第15-20页 |
| 1.5 国内外研究现状 | 第20-21页 |
| 1.6 研究意义及论文内容与结构 | 第21-23页 |
| 2. 建模工具 | 第23-33页 |
| 2.1 建模工具的选定 | 第23-25页 |
| 2.2 Petri网简介 | 第25-31页 |
| 2.2.1 扩展Petri网在列控系统及无线通信中的应用 | 第27-29页 |
| 2.2.2 确定与随机Petri网 | 第29-31页 |
| 2.3 小结 | 第31-33页 |
| 3. CTCS-3级列控系统无线传输时延的建模与验证 | 第33-63页 |
| 3.1 CTCS-3级列控系统车地通信系统 | 第33-42页 |
| 3.1.1 安全功能模块 | 第34-36页 |
| 3.1.2 通信功能模块 | 第36-39页 |
| 3.1.3 数据在各层次之间的变化 | 第39-42页 |
| 3.2 CTCS-3级列控系统GSM-R无线网络QoS分析 | 第42-44页 |
| 3.3 GSM-R用户数据帧传输时延的建模与分析 | 第44-55页 |
| 3.3.1 数据传输原理 | 第44-45页 |
| 3.3.2. 基于DSPN的CTCS-3级列控系统数据通信模型 | 第45-48页 |
| 3.3.3 用户数据帧传输时延模型 | 第48-49页 |
| 3.3.4 基于DSPN的故障恢复模型 | 第49-54页 |
| 3.3.5 模型仿真结果分析 | 第54-55页 |
| 3.4 GSM-R车地通信时间安全特性的建模与研究 | 第55-62页 |
| 3.4.1 基于DSPN数据通信扩展模型 | 第55-58页 |
| 3.4.2 模型仿真结果分析 | 第58-62页 |
| 3.5 小结 | 第62-63页 |
| 4. CTCS-3级无线接口安全通信协议改进 | 第63-89页 |
| 4.1 RSSP-Ⅱ安全通信协议中传输风险分析 | 第64-65页 |
| 4.2 RSSP-Ⅱ中SAI层中防御措施分析 | 第65-75页 |
| 4.2.1 序列号 | 第65-67页 |
| 4.2.2 EC防护措施 | 第67-70页 |
| 4.2.3 三重时间戳防护措施 | 第70-75页 |
| 4.3 RSSP-Ⅱ中防护措施在Euroradio中的适用性分析 | 第75-87页 |
| 4.3.1 序列号在Euroradio中的适用性 | 第75-76页 |
| 4.3.2 EC在Euroradio中的适用性分析 | 第76-78页 |
| 4.3.3 TTS在Euroradio中的适用性分析 | 第78-83页 |
| 4.3.4 基于双时间戳简化时钟偏移过程的分析 | 第83-87页 |
| 4.4 小结 | 第87-89页 |
| 5. 结论与展望 | 第89-91页 |
| 5.1 论文主要工作与结论 | 第89-90页 |
| 5.2 展望 | 第90-91页 |
| 参考文献 | 第91-95页 |
| 附录 | 第95-97页 |
| 图索引 | 第97-99页 |
| 表索引 | 第99-101页 |
| 作者简历及攻读硕士学位期间取得的研究成果 | 第101-105页 |
| 学位论文数据集 | 第105页 |
