文章基本信息

标题：Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
本地全文：下载
作者：Sahar Mohajerani ; Rômulo Meira-Góes ; Stéphane Lafortune 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2020
卷号：53
期号：4
页码：28-34
DOI：10.1016/j.ifacol.2021.04.069
语种：English
出版社：Elsevier
摘要：AbstractThis paper investigates the synthesis of successful sensor deception attack functions in supervisory control using abstraction methods to reduce computational complexity. In sensor deception attacks, an attacker hijacks a subset of the sensors of theplantand feeds incorrect information to thesupervisorwith the intent on causing damage to the supervised system. The attacker is successful if its attack causes damage to the system and it is not identified by an intrusion detection module. The existence test and the synthesis method of successful sensor deception attack functions are computationally expensive, specifically in partially observed systems. For this reason, we leverage results on abstraction methods to reduce the computational effort in solving these problems. Namely, we introduce an equivalence relation calledrestricted observation equivalence,that is used to abstract the original system before calculating attack functions. Based on this equivalence relation we prove that the existence of successful attack functions in the abstracted supervised system guarantees the existence of successful attack functions in the unabstracted supervised system and vice versa. Moreover, successful attack functions synthesized from the abstracted system can be exactly mapped to successful attack functions on the unabstracted system, thereby providing a complete solution to the attack synthesis problem.
关键词：KeywordsAutomatonDeception AttacksAbstractionSupervisory Control Theory