基于CPN的EtherCAT协议的安全研究与改进

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

  • 2021-07-01
  • 收藏0
  • 阅读65
  • 下载0
  • 59页
  • pdf
  • 1.63M

评价

评分 :
   *