中文摘要：

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

英文摘要：

With the development of the industrial ethernet, the clock synchronization protocol which is the core technology of industrial ethernet real-time has become crucial. For the problem of the clock synchronization protocol security, a method for analyzing the clock synchronization protocol security using colored Petri net is proposed. Firstly, the protocol is modeled by using colored Petri net. Then the reachability of possible insecurity state is judged and analyzed by using the model through state equation, thus the security analysis of the clock synchronization protocol is realized. Finally, a clock synchronization protocol based on PTP and the main-clock spoofing attack aiming at this protocol are analyzed by using this method, and the result shows the effectiveness of the proposed method.