计算机工程2018，Vol.44Issue(12)：120-128,9.DOI:10.19678/j.issn.1000-3428.0049260
STP安全通信协议设计与形式化验证
Design and Formal Verification of Safety Communication Protocol in STP
摘要
关键词
安全通信协议/时序逻辑/分层着色Petri网/ASK-CTL形式化验证/故障导向安全分类
信息技术与安全科学引用本文复制引用
LI Kun,ZHANG Xuesong..STP安全通信协议设计与形式化验证[J].计算机工程,2018,44(12):120-128,9.基金项目
中国铁道科学研究院重点课题项目“基于新一代无线移动通信的调车机车控制技术研究”(2016YJ054) （2016YJ054）
中国铁路总公司科研重点课题项目“通信信号设备提升关键技术研究-STP互联互通技术要求研究”(2017X012-B). （2017X012-B）
