基于着色Petri网的铁路时间同步协议建模及安全性分析

摘要：

针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析.剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列.研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的.

关键词：铁路时间同步协议、中间人、着色Petri网、安全性分析

所属期刊栏目：16

分类号：U285.5+5(铁路通信、信号)

资助基金：国家自然科学基金资助项目51567014;中国铁路总公司科技研究开发计划课题资助项目2015X007-H;光电技术与智能控制教育部重点实验室兰州交通大学开放课题资助项目KFKT2018-12

在线出版日期：2019-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1089-1096