Please use this identifier to cite or link to this item:
Title: Identification of system vulnerability under a smart sensor attack via attack model reduction
Authors: Tai, Ruochen
Lin, Liyong
Su, Rong
Keywords: Engineering::Electrical and electronic engineering
Issue Date: 2022
Source: Tai, R., Lin, L. & Su, R. (2022). Identification of system vulnerability under a smart sensor attack via attack model reduction. IEEE Control Systems Letters, 6, 2948-2953.
Project: ICP1900093
Journal: IEEE Control Systems Letters
Abstract: In this letter, we investigate how to make use of model reduction techniques to identify the vulnerability of a closed-loop system, consisting of a plant and a supervisor, that might invite attacks. Here, the system vulnerability refers to the existence of key observation sequences that could be exploited by a specific smart sensor attack to cause damage infliction. We consider a nondeterministic smart attack, i.e., there might exist more than one attack choice over each received observation, and adopt our previously proposed modeling framework, where such an attack is captured by a standard finite-state automaton. For a given supervisor S and a smart sensor attack model A, another smart attack model {\mathrm{ A}}' is called attack equivalent to A with respect to S, if the resulting compromised supervisor, defined as the composition of the supervisor S and attack model {\mathrm{ A}}' , is control equivalent to the original compromised supervisor, defined as the composition of S and A. Following the spirit of supervisor reduction that relies on the concept of control congruence, we will show that, this problem of synthesizing a reduced smart attack model {\mathrm{ A}}' that is attack equivalent to A with respect to S, can be transformed to a classical supervisor reduction problem, making all existing synthesis tools available for supervisor reduction directly applicable to our problem. A simplified and ideally minimum-state attack model can reveal all necessary observation sequences for the attacker to be successful, thus, reminds system designers to take necessary precautions in advance, which may improve system resilience significantly. An example is presented to show the effectiveness of our proposed attack model reduction technique.
ISSN: 2475-1456
DOI: 10.1109/LCSYS.2022.3168735
Rights: © 2022 IEEE. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:EEE Journal Articles

Page view(s)

Updated on Mar 23, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.