随着智能制造和大数据的迅猛发展，工业以太网协议随着工业控制系统的网络化变 得趋向于开放化。由于工业以太网协议作为工业控制系统的关键因素，它的安全问题影响着整个系统，所以对其安全性研究尤为重要。虽然当前有许多对工业以太网协议安全和改进的研究，但是这些研究缺乏对协议的形式化建模与安全评估，只注重协议本身安全功能的实现，有一定的局限性。因此，将工业以太网协议进行形式化建模以及安全评估，对协议的安全研究和改进有巨大的科学价值。本文将目前应用比较广泛的 EtherCAT协议作为研究实体，利用 CPN Tools 建模工具，以有色 Petri 网理论和 Dolev-Yao 攻击模型为方法指导，首先对该协议进行形式化建模，然后引入攻击者模型对协议进行安全评估，最后对评估结果提出相应的改进方案，并对改进方案进行了安全性验证。主要研究如下
