监督器上成功执行器攻击者的综合
系统与控制
2019-02-28 v4 形式语言与自动机理论
摘要
本文中，我们针对由受控对象与监督器构成的闭环系统提出并建立了一种新的基于离散事件的执行器攻击模型。我们假设执行器攻击者部分观测闭环系统的执行过程，并窃听监督器发出的控制命令。攻击者可在可攻击事件的指定子集上修改每条控制命令。执行器攻击者的攻击原则是保持隐蔽，直至其能够确立一次成功攻击并引导受攻击的闭环系统产生某些破坏性字符串。我们通过一种新的可攻击性（attackability）概念刻画了成功攻击者的存在性，并证明了在监督器与攻击者均为正常（即监督器不可观测事件不能被监督器禁止，攻击者不可观测事件不能被攻击者攻击）时， supremal 成功执行器攻击者的存在性。最后，我们给出了一种算法来综合由 Moore 自动机表示的 supremal 成功攻击者。
引用
@article{arxiv.1807.06720,
title = {Synthesis of Successful Actuator Attackers on Supervisors},
author = {Liyong Lin and Sander Thuijsman and Yuting Zhu and Simon Ware and Rong Su and Michel Reniers},
journal= {arXiv preprint arXiv:1807.06720},
year = {2019}
}
备注
This work has been submitted to the journal "Discrete Event Dynamic Systems: Theory and Applications". These two authors contribute equally to this work