着色网论文

基于着色Petri网的铁路时间同步协议建模及安全性分析
论文摘要针对Autokey模型的铁路时间同步协议安全性问题,提出利用着色Petri网对协议进行安全性分析。剖析Autokey模型的铁路时间同步协议序列及其执行流程;重点针对其认...