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

Analysis of clock synchronization protocol security using colored Petri net

作　　者：冯冬芹[1,2] 沈佳骏 褚健[1,2] 

机构地区：[1]浙江大学工业控制技术国家重点实验室,杭州310027 [2]浙江大学智能系统与控制研究所,杭州310027

出　　处：《控制与决策》2014年第12期2144-2150,共7页Control and Decision

基　　金：国家自然科学基金项目(61223004);国家863计划项目(2012AA041102)

摘　　要：随着工业以太网的发展,作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要.针对时钟同步协议的安全性问题,首先提出一种基于有色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.

关 键 词：工业以太网 时钟同步协议 有色PETRI网 状态方程 主时钟欺骗 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]