About existence of resilient supervisors against smart sensor attacks

One key challenge of cybersecurity of discrete event systems (DES) is how to ensure system resilience against sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we discuss decidability issues related to smart sensor attacks. We first present a suf...

Full description

Saved in:
Bibliographic Details
Main Author: Su, Rong
Other Authors: School of Electrical and Electronic Engineering
Format: Conference or Workshop Item
Language:English
Published: 2023
Subjects:
Online Access:https://hdl.handle.net/10356/166927
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
id sg-ntu-dr.10356-166927
record_format dspace
spelling sg-ntu-dr.10356-1669272023-05-10T07:53:02Z About existence of resilient supervisors against smart sensor attacks Su, Rong School of Electrical and Electronic Engineering 2022 IEEE 61st Conference on Decision and Control (CDC) Engineering::Electrical and electronic engineering Fault Tolerance Actuators One key challenge of cybersecurity of discrete event systems (DES) is how to ensure system resilience against sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we discuss decidability issues related to smart sensor attacks. We first present a sufficient and necessary condition that ensures the existence of a smart sensor attack, which reveals a novel demand-supply relationship between an attacker and a controlled plant, represented as a set of risky pairs. Each risky pair consists of a damage string desired by the attacker and an observable sequence feasible in the supervisor such that the latter induces a sequence of control patterns, which allows the damage string to happen. It turns out that each risky pair can induce a smart weak sensor attack. Next, we show that, when the plant, supervisor and damage language are regular, it is possible to remove all such risky pairs from the plant behaviour, via a genuine encoding scheme, upon which we establish our key result that the existence of a nonblocking supervisor resilient against all smart sensor attacks is decidable. Agency for Science, Technology and Research (A*STAR) This study is supported by A*STAR, Singapore under its RIE2020 Advanced Manufacturing and Engineering (AME) Industry Alignment Fund – Pre Positioning (IAF-PP) (Award A19D6a0053). 2023-05-10T07:53:02Z 2023-05-10T07:53:02Z 2022 Conference Paper Su, R. (2022). About existence of resilient supervisors against smart sensor attacks. 2022 IEEE 61st Conference on Decision and Control (CDC), 4263-4269. https://dx.doi.org/10.1109/CDC51059.2022.9992505 9781665467612 https://hdl.handle.net/10356/166927 10.1109/CDC51059.2022.9992505 2-s2.0-85146991793 4263 4269 en A19D6a0053 © 2022 IEEE. All rights reserved.
institution Nanyang Technological University
building NTU Library
continent Asia
country Singapore
Singapore
content_provider NTU Library
collection DR-NTU
language English
topic Engineering::Electrical and electronic engineering
Fault Tolerance
Actuators
spellingShingle Engineering::Electrical and electronic engineering
Fault Tolerance
Actuators
Su, Rong
About existence of resilient supervisors against smart sensor attacks
description One key challenge of cybersecurity of discrete event systems (DES) is how to ensure system resilience against sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we discuss decidability issues related to smart sensor attacks. We first present a sufficient and necessary condition that ensures the existence of a smart sensor attack, which reveals a novel demand-supply relationship between an attacker and a controlled plant, represented as a set of risky pairs. Each risky pair consists of a damage string desired by the attacker and an observable sequence feasible in the supervisor such that the latter induces a sequence of control patterns, which allows the damage string to happen. It turns out that each risky pair can induce a smart weak sensor attack. Next, we show that, when the plant, supervisor and damage language are regular, it is possible to remove all such risky pairs from the plant behaviour, via a genuine encoding scheme, upon which we establish our key result that the existence of a nonblocking supervisor resilient against all smart sensor attacks is decidable.
author2 School of Electrical and Electronic Engineering
author_facet School of Electrical and Electronic Engineering
Su, Rong
format Conference or Workshop Item
author Su, Rong
author_sort Su, Rong
title About existence of resilient supervisors against smart sensor attacks
title_short About existence of resilient supervisors against smart sensor attacks
title_full About existence of resilient supervisors against smart sensor attacks
title_fullStr About existence of resilient supervisors against smart sensor attacks
title_full_unstemmed About existence of resilient supervisors against smart sensor attacks
title_sort about existence of resilient supervisors against smart sensor attacks
publishDate 2023
url https://hdl.handle.net/10356/166927
_version_ 1770566333213179904