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

被引:16
作者
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
相关论文
共 41 条
[1]  
Alves Marcos V. S., 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC), P4859, DOI 10.1109/CDC.2017.8264377
[2]  
Alves M.V. S., 2014, Proceedings of the 12th IFAC International Workshop on Discrete Event Systems, P294
[3]  
Alves M.V.S., 2019, 13 S BRAS AUT INT OU, P2491
[4]   Supervisory Control of Networked Discrete Event Systems With Timing Structure [J].
Alves, Marcos V. S. ;
Carvalho, Lilian K. ;
Basilio, Joao Carlos .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (05) :2206-2218
[5]   Robust supervisory control of discrete event systems against intermittent loss of observations [J].
Alves, Marcos V. S. ;
da Cunha, Antonio E. C. ;
Carvalho, Lilian Kawakami ;
Moreira, Marcos Vicente ;
Basilio, Joao Carlos .
INTERNATIONAL JOURNAL OF CONTROL, 2021, 94 (07) :2008-2020
[6]  
[Anonymous], P IEEE C DEC CONTR
[7]   Sizing router buffers [J].
Appenzeller, G ;
Keslassy, I ;
McKeown, N .
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2004, 34 (04) :281-292
[8]   Robust diagnosis of discrete-event systems against permanent loss of observations [J].
Carvalho, Lilian K. ;
Moreira, Marcos V. ;
Basilio, Joao C. ;
Lafortune, Stephane .
AUTOMATICA, 2013, 49 (01) :223-231
[9]   Robust diagnosis of discrete event systems against intermittent loss of observations [J].
Carvalho, Lilian K. ;
Basilio, Joao C. ;
Moreira, Marcos V. .
AUTOMATICA, 2012, 48 (09) :2068-2078
[10]   Detection and mitigation of classes of attacks in supervisory control systems [J].
Carvalho, Lilian Kawakami ;
Wu, Yi-Chin ;
Kwong, Raymond ;
Lafortune, Stephane .
AUTOMATICA, 2018, 97 :121-133