2020/08/04 by Rômulo Meira-Góes, Meira-Goes, Romulo, EunSuk Kang +5 · 3 citations
Computer Science · Engineering · #FOS: Electrical engineering #Network Security and Intrusion Detection #Security and Verification in Computing #Smart Grid Security and Resilience #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2008.01497
openalex publication_date 2020/08/04 · openalex created_date 2022/07/26 · openalex updated_date 2026/07/28
We study the security of Cyber-Physical Systems (CPS) in the context of the\nsupervisory control layer. Specifically, we propose a general model of a CPS\nattacker in the framework of discrete event systems and investigate the problem\nof synthesizing an attack strategy for a given feedback control system. Our\nmodel captures a class of deception attacks, where the attacker has the ability\nto hijack a subset of sensor readings and mislead the supervisor, with the goal\nof inducing the system into an undesirable state. We utilize a game-like\ndiscrete transition structure, called Insertion-Deletion Attack structure\n(IDA), to capture the interaction between the supervisor and the environment\n(which includes the system and the attacker). We show how to use IDAs to\nsynthesize three different types of successful stealthy attacks, i.e., attacks\nthat avoid detection from the supervisor and cause damage to the system.\n