| 基于着色Petri网的铁路时间同步协议建模及安全性分析 |
| |
| 引用本文： | 兰丽,张友鹏.基于着色Petri网的铁路时间同步协议建模及安全性分析[J].铁道科学与工程学报,2019,16(4):1089-1096. |
| |
| 作者姓名： | 兰丽 张友鹏 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,甘肃兰州 730070;兰州交通大学光电技术与智能控制教育部重点实验室,甘肃兰州 730070;兰州交通大学自动化与电气工程学院,甘肃兰州,730070 |
| |
| 基金项目： | 国家自然科学基金;中国铁路总公司科技研究开发计划;光电技术与智能控制教育部重点实验室(兰州交通大学)开放课题资助项目 |
| |
| 摘 要： | 针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认证阶段,分别构建正常认证和加入中间人入侵的着色Petri网模型,分析中间人入侵时协议认证过程的不安全状态,建立模型状态方程;应用逆向状态分析法对铁路时间同步协议认证过程的安全性进行分析,得到中间人在认证阶段攻击协议的实施序列。研究结果表明:基于Autokey模型的铁路时间同步协议的认证过程是不安全的。
|
| 关 键 词： | 铁路时间同步协议 中间人 着色Petri网 安全性分析 |
Modeling and security analysis of railway time synchronization protocol based on colored petri nets |
| |
| LAN Li,ZHANG Youpeng.Modeling and security analysis of railway time synchronization protocol based on colored petri nets[J].Journal of Railway Science and Engineering,2019,16(4):1089-1096. |
| |
| Authors: | LAN Li ZHANG Youpeng |
| |
| Institution: | (School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;School of Automation & Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;Key Laboratory of Opto-technology and Intelligent Control,Ministry of Education,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Abstract: | LAN Li;ZHANG Youpeng(School of Electronic and Information Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;School of Automation & Electrical Engineering,Lanzhou Jiaotong University,Lanzhou 730070,China;Key Laboratory of Opto-technology and Intelligent Control,Ministry of Education,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Keywords: | railway time synchronization protocol man-in-the-middle colored Petri nets security analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
