Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks

被引:12
作者
Alves, Marcos V. S. [1 ]
Barcelos, Raphael J. [1 ]
Carvalho, Lilian K. [1 ]
Basilio, Joao C. [1 ]
机构
[1] Univ Fed Rio De Janeiro, Dept Elect Engn, BR-21949900 Rio De Janeiro, RJ, Brazil
关键词
Discrete event systems; Automaton; Fault diagnosis; Robustness; Denial-of-service and deception attacks; SUPERVISORY CONTROL; COMMUNICATION DELAYS; INTERMITTENT LOSS; DIAGNOSIS; CODIAGNOSABILITY; SECURITY; SUBJECT;
D O I
10.1016/j.nahs.2022.101162
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Denial-of-Service (DoS) are attacks conducted by malicious agents that consists in disrupting, temporally or indefinitely, the services provided by a communication network. When a malicious agent gets access to some network node, it may also perform deception attacks by inserting valid packets with fake information into vulnerable channels. We address, in this paper, DoS and deception attacks (DoS-D attack) that flood some communication channels with fake packets causing delays, loss of observations and insertion of fake observations, and their implications in decentralized fault diagnosability of networked discrete event systems (NDES). To this end, we propose an automaton model for NDES subject to DoS-D attacks that represents the adverse effects of DoS-D attacks on the observations of local diagnosers. We introduce a new codiagnosability definition called DoS-D-robust codiagnosability, and present a necessary and sufficient condition for a language to be DoS-D-robustly codiagnosable. We also propose a verification algorithm for regular languages to check DoS-D-robust codiagnosability. (c) 2022 Elsevier Ltd. All rights reserved.
引用
收藏
页数:23
相关论文
共 50 条
  • [1] Decentralized control of networked discrete event systems with communication delays
    Shu, Shaolong
    Lin, Feng
    AUTOMATICA, 2014, 50 (08) : 2108 - 2112
  • [2] Language Recovery in Discrete-Event Systems against Sensor Deception Attacks
    Labed, Abdeldjalil
    Saadaoui, Ikram
    Hanyu, E.
    El-Meligy, Mohammed A.
    Li, Zhiwu
    Sharaf, Mohamed
    MATHEMATICS, 2023, 11 (10)
  • [3] On the history of diagnosability and opacity in discrete event systems
    Lafortune, Stephane
    Lin, Feng
    Hadjicostis, Christoforos N.
    ANNUAL REVIEWS IN CONTROL, 2018, 45 : 257 - 266
  • [4] K-Loss Robust Diagnosability of Discrete-Event Systems
    Oliveira, Vinicius S. L.
    Cabral, Felipe G.
    Moreira, Marcos V.
    IFAC PAPERSONLINE, 2020, 53 (04): : 250 - 255
  • [5] Robust Diagnosability and Robust Prognosability of Discrete-Event Systems Revisited
    Yin, Xiang
    Li, Shaoyuan
    2018 IEEE 8TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (IEEE-CYBER), 2018, : 302 - 307
  • [6] Diagnosability of Discrete Event Systems under Sensor Attacks
    Lin, Feng
    Lafortune, Stephane
    Wang, Caisheng
    IFAC PAPERSONLINE, 2023, 56 (02): : 3572 - 3578
  • [7] Robust Networked Control of Discrete Event Systems
    Wang, Fei
    Shu, Shaolong
    Lin, Feng
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2016, 13 (04) : 1528 - 1540
  • [8] Diagnosability and attack detection for discrete event systems under sensor attacks
    Lin, Feng
    Lafortune, Stephane
    Wang, Caisheng
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2024, 34 (03): : 465 - 495
  • [9] Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
    Moreira, Marcos V.
    Jesus, Thiago C.
    Basilio, Joao C.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (07) : 1679 - 1684
  • [10] "Polynomial time verification of decentralized diagnosability of discrete event systems" vs. "Decentralized failure diagnosis of discrete event systems": A critical appraisal
    Moreira, Marcos V.
    Basilio, Joao C.
    Cabral, Felipe G.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (01) : 178 - 181