Print

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

论文摘要

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

论文目录

  • 1 基于Autokey模型的NTP协议序列
  •   1.1 协议描述
  •   1.2 协议漏洞分析
  • 2 基于着色Petri网的协议不安全状态分析
  •   2.1 相关概念
  •   2.2 基于CPN的铁路时间同步协议不安全状态分析方法
  • 3 铁路时间同步协议CPN模型
  •   3.1 NTP协议正常认证过程的CPN模型
  •   3.2 NTP协议认证过程收到中间人攻击的CPN模型
  • 4 协议认证过程不安全状态可达性分析
  • 5 结论

    • 文章来源

    类型: 期刊论文

    作者: 兰丽,张友鹏

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

    来源: 铁道科学与工程学报 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

    相关论文文献

    本文来源: https://www.lunwen66.cn/article/df65bc72453f1ec9f876500a.html