Detectable and Undetectable Network Attack Security of Cyber-physical Systems

被引:49
作者
Lima, Public M. [1 ]
Carvalho, Lilian K. [1 ]
Moreira, Marcos V. [1 ]
机构
[1] Univ Fed Rio de Janeiro, COPPE Elect Engn Program, BR-21945970 Rio De Janeiro, RJ, Brazil
关键词
Cyber-physical systems; Cyber attacks; Discrete-event systems; Automata; Supervisory control systems; Security; DIAGNOSABILITY;
D O I
10.1016/j.ifacol.2018.06.298
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Cyber-physical systems (CPSs) integrate computing and communication capabilities to monitor and control physical processes. In order to do so, communication networks are commonly used to connect sensors, actuators, and controllers, implemented, in general, on Programmable Logic Controllers (PLC). The use of communication networks increases the vulnerability of the CPS to attacks that can drive the system to unsafe states. We propose in this paper a defense strategy that prevents damages caused by cyber attacks in the sensor and/or actuator communication channels of supervisory control systems, without changing the behavior of the closed -loop system when it is not attacked. We introduce the definitions of DNA and UNA-Security, and present necessary and sufficient conditions to verify these properties. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码:179 / 185
页数:7
相关论文
共 12 条
[1]  
[Anonymous], 2011, IMPACT CONTROL TECHN
[2]   Diagnosability of intermittent sensor faults in discrete event systems [J].
Carvalho, Lilian K. ;
Moreira, Marcos V. ;
Basilio, Joao Carlos .
AUTOMATICA, 2017, 79 :315-325
[3]  
Carvalho LK, 2016, INT WORKS DISCRETE, P298, DOI 10.1109/WODES.2016.7497863
[4]  
Cassandras C. G., 2008, INTRO DISCRETE EVENT
[5]   Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks [J].
Fawzi, Hamza ;
Tabuada, Paulo ;
Diggavi, Suhas .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (06) :1454-1467
[6]   Security Against Network Attacks in Supervisory Control Systems [J].
Lima, Public M. ;
Alves, Marcos V. S. ;
Carvalho, Lilian K. ;
Moreira, Marcos V. .
IFAC PAPERSONLINE, 2017, 50 (01) :12333-12338
[7]  
Meira-Goes R., 2017, P 56 IEEE C DEC CONT, P4224
[8]  
Mo Y., 2010, P 1 WORKSH SEC CONTR, V1, P1
[9]   Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems [J].
Moreira, Marcos V. ;
Jesus, Thiago C. ;
Basilio, Joao C. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (07) :1679-1684
[10]   Attack Detection and Identification in Cyber-Physical Systems [J].
Pasqualetti, Fabio ;
Doerfler, Florian ;
Bullo, Francesco .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (11) :2715-2729