铁道科学与工程学报2019，Vol.16Issue(4)：1089-1096,8.DOI:10.19713/j.cnki.43-1423/u.2019.04.033
基于着色Petri网的铁路时间同步协议建模及安全性分析
Modeling and security analysis of railway time synchronization protocol based on colored petri nets
摘要
关键词
铁路时间同步协议/中间人/着色Petri网/安全性分析分类
交通工程引用本文复制引用
兰丽,张友鹏..基于着色Petri网的铁路时间同步协议建模及安全性分析[J].铁道科学与工程学报,2019,16(4):1089-1096,8.基金项目
国家自然科学基金资助项目(51567014) （51567014）
中国铁路总公司科技研究开发计划课题资助项目(2015X007-H) （2015X007-H）
光电技术与智能控制教育部重点实验室(兰州交通大学)开放课题资助项目(KFKT2018-12) （兰州交通大学）
