声明
致谢
摘要
术语表
1 引言
1.1 研究背景
1.2 问题的提出
1.2.1 安全通信的需求
1.2.2 安全通信协议的作用
1.3 安全通信协议验证需要解决的问题
1.3.1 安全通信协议的验证方法需要解决的问题
1.3.2 安全通信协议验证的研究现状及评述
1.3.3 安全通信协议验证方法的提出
1.4 研究意义
1.5 研究内容
2 通信协议验证方法综述
2.1 通信协议的Petri网仿真分析
2.1.1 基于时间的Petri网
2.1.2 基于层次的Petri网
2.1.3 通信协议Petri网仿真分析存在的问题
2.2 通信协议形式化验证方法
2.2.1 基于网络的方法
2.2.2 基于逻辑的方法
2.2.3 通信协议形式化验证存在的问题
2.3 仿真与形式化方法结合验证
2.4 本章小结
3 安全通信协议的逻辑特性验证方法的研究
3.1 理论基础
3.1.1 有色Petri网相关定义
3.1.2 CTL基础知识
3.2 基于CPN的安全通信协议的逻辑特性验证方法的实现
3.2.1 安全通信协议功能的描述
3.2.2 基于CPN的安全通信协议逻辑模型的建立方法
3.2.3 基于ASK-CTL的安全通信协议逻辑特性的验证方法
3.3 基于CPN的安全通信协议逻辑特性的验证
3.3.1 基于CPN的安全通信协议逻辑模型的提取
3.3.2 基于ASK-CTL的安全通信协议逻辑特性的验证
3.4 本章小结
4 安全通信协议的时间特性验证方法的研究
4.1 安全通信协议性能的描述
4.2 基于CPN的安全通信协议时间特性验证方法
4.2.1 基于CPN的安全通信协议的时间模型的建立
4.2.2 基于CPN的安全通信协议的时间特性的验证
4.3 随机条件下基于CPN的安全通信协议的时间特性验证方法
4.3.1 含随机因素的安全通信协议的CPN模型
4.3.2 基于CPN的安全通信协议的时间特性的仿真
4.4 本章小结
5 基于CPN的CBTC安全通信协议的验证
5.1 CBTC安全通信协议介绍
5.2 基于CPN的CBTC安全通信协议验证
5.2.1 CBTC安全通信协议验证需求的描述
5.2.2 CBTC安全通信协议的CPN模型
5.2.3 基于CPN的CBTC安全通信协议验证的实现
5.2.4 CBTC安全通信协议验证结果的分析
5.3 本章小结
6 总结和展望
6.1 研究成果
6.2 论文创新点
6.3 展望
参考文献
作者简历
教育背景
攻读博士期间参与科研工作
学位论文数据集