On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
Cybersecurity of discrete event systems (DES) has been gaining more and more attention recently, due to its high relevance to the so-called 4th industrial revolution that heavily relies on data communication among networked systems. One key challenge is how to ensure system resilience to sensor and/...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/170586 |
| _version_ | 1811681623542857728 |
|---|---|
| author | Su, Rong |
| author2 | School of Electrical and Electronic Engineering |
| author_facet | School of Electrical and Electronic Engineering Su, Rong |
| author_sort | Su, Rong |
| collection | NTU |
| description | Cybersecurity of discrete event systems (DES) has been gaining more and more attention recently, due to its high relevance to the so-called 4th industrial revolution that heavily relies on data communication among networked systems. One key challenge is how to ensure system resilience to sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we focus on some key 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 are able to establish our key result that the existence of a nonblocking supervisor resilient to smart sensor attacks is decidable. To the best of our knowledge, this is the first result of its kind in the DES literature on cyber attacks. The proposed decision process renders a specific synthesis procedure that guarantees to compute a resilient supervisor whenever it exists, which so far has not been achieved in the literature. |
| first_indexed | 2024-10-01T03:43:53Z |
| format | Journal Article |
| id | ntu-10356/170586 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T03:43:53Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | ntu-10356/1705862023-09-20T00:37:40Z On decidability of existence of nonblocking supervisors resilient to smart sensor attacks Su, Rong School of Electrical and Electronic Engineering Engineering::Electrical and electronic engineering Discrete-Event Systems Smart Sensor Attacks Cybersecurity of discrete event systems (DES) has been gaining more and more attention recently, due to its high relevance to the so-called 4th industrial revolution that heavily relies on data communication among networked systems. One key challenge is how to ensure system resilience to sensor and/or actuator attacks, which may tamper data integrity and service availability. In this paper we focus on some key 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 are able to establish our key result that the existence of a nonblocking supervisor resilient to smart sensor attacks is decidable. To the best of our knowledge, this is the first result of its kind in the DES literature on cyber attacks. The proposed decision process renders a specific synthesis procedure that guarantees to compute a resilient supervisor whenever it exists, which so far has not been achieved in the literature. Agency for Science, Technology and Research (A*STAR) Ministry of Education (MOE) The supports from Singapore Ministry of Education Tier 1 Academic Research Grant 2018-T1-001-245 (RG 91/18) and from A*STAR under its RIE2020 Advanced Manufacturing and Engineering (AME) Industry Alignment Fund-Pre Positioning (IAF-PP) (Award A19d6a0053) are gratefully acknowledged. 2023-09-20T00:37:40Z 2023-09-20T00:37:40Z 2023 Journal Article Su, R. (2023). On decidability of existence of nonblocking supervisors resilient to smart sensor attacks. Automatica, 154, 111076-. https://dx.doi.org/10.1016/j.automatica.2023.111076 0005-1098 https://hdl.handle.net/10356/170586 10.1016/j.automatica.2023.111076 2-s2.0-85162203896 154 111076 en 2018-T1-001-245 (RG 91/18) A19D6a0053 Automatica © 2023 Elsevier Ltd. All rights reserved. |
| spellingShingle | Engineering::Electrical and electronic engineering Discrete-Event Systems Smart Sensor Attacks Su, Rong On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title | On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title_full | On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title_fullStr | On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title_full_unstemmed | On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title_short | On decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| title_sort | on decidability of existence of nonblocking supervisors resilient to smart sensor attacks |
| topic | Engineering::Electrical and electronic engineering Discrete-Event Systems Smart Sensor Attacks |
| url | https://hdl.handle.net/10356/170586 |
| work_keys_str_mv | AT surong ondecidabilityofexistenceofnonblockingsupervisorsresilienttosmartsensorattacks |