论文部分内容阅读
随着工业以太网的发展,作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要.针对时钟同步协议的安全性问题,首先提出一种基于有色Petri网的时钟同步协议安全性分析方法;然后通过建立协议的有色Petri网模型,利用状态方程等工具针对不安全状态的可达性进行判断分析,从而实现时钟同步协议的安全性分析;最后具体分析了一种基于精密时钟同步协议(PTP)的时钟同步协议以及针对该协议的主时钟欺骗攻击,验证了所提出方法的有效性.
With the development of Industrial Ethernet, the security of the clock synchronization protocol, which is the core technology of real-time security, has become crucial.Aiming at the security problem of the clock synchronization protocol, a colored Petri net-based clock synchronization protocol Then analyzes the reachability of the insecure state by establishing a colored Petri net model of the protocol and using the state equation and other tools to achieve the security analysis of the clock synchronization protocol. Finally, a method based on the precision clock Synchronization protocol (PTP) clock synchronization protocol and the main clock spoofing attack against the protocol, verify the effectiveness of the proposed method.