基于有色Petri网的时钟同步协议安全性分析
随着工业以太网的发展,作为其实时性保障核心技术的时钟同步协议的安全性变得至关重要。针对时钟同步协议的安全性问题,首先提出一种基于有色Petri网的时钟同步协议安全性分析方法;然后通过建立协议的有色Petri网模型,利用状态方程等工具针对不安全状态的可达性进行判断分析,从而实现时钟同步协议的安全性分析;最后具体分析了一种基于精密时钟同步协议(PTP)的时钟同步协议以及针对该协议的主时钟欺骗攻击,验证了所提出方法的有效性。
工业以太网、时钟同步协议、有色Petri网、状态方程、主时钟欺骗
TP393(计算技术、计算机技术)
国家自然科学基金项目61223004;国家863计划项目2012AA041102
2014-12-18(万方平台首次上网日期,不代表论文的发表时间)
共7页
2144-2150