基于有色Petri 网的时钟同步协议安全性分析

随着工业以太网的发展, 作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要. 针对时钟同步协议的安全性问题, 首先提出一种基于有色Petri 网的时钟同步协议安全性分析方法; 然后通过建立协议的有色Petri 网模型, 利用状态方程等工具针对不安全状态的可达性进行判断分析, 从而实现时钟同步协议的安全性分析; 最后具体分析了一种基于精密时钟同步协议(PTP) 的时钟同步协议以及针对该协议的主时钟欺骗攻击, 验证了所提出方法的有效性.