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

摘要：

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

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

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金项目61223004；国家863计划项目2012AA041102

在线出版日期：2014-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2144-2150