论文摘要
针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。
论文目录
文章来源
类型: 期刊论文
作者: 兰丽,张友鹏
关键词: 铁路时间同步协议,中间人,着色网,安全性分析
来源: 铁道科学与工程学报 2019年04期
年度: 2019
分类: 工程科技Ⅱ辑
专业: 铁路运输
单位: 兰州交通大学电子与信息工程学院,兰州交通大学光电技术与智能控制教育部重点实验室,兰州交通大学自动化与电气工程学院
基金: 国家自然科学基金资助项目(51567014),中国铁路总公司科技研究开发计划课题资助项目(2015X007-H),光电技术与智能控制教育部重点实验室(兰州交通大学)开放课题资助项目(KFKT2018-12)
分类号: U283.2
DOI: 10.19713/j.cnki.43-1423/u.2019.04.033
页码: 1089-1096
总页数: 8
文件大小: 1526K
下载量: 110
相关论文文献
标签：铁路时间同步协议论文; 中间人论文; 着色网论文; 安全性分析论文;