Security Against Communication Network Attacks of Cyber-Physical Systems
| Autor: | Lilian K. Carvalho, Marcos V. Moreira, Públio M. Lima, Marcos Vinícius Silva Alves |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
0209 industrial biotechnology
Correctness Channel network Computer science 020208 electrical & electronic engineering Control (management) Cyber-physical system Energy Engineering and Power Technology 02 engineering and technology Computer security computer.software_genre Telecommunications network Computer Science Applications Controllability 020901 industrial engineering & automation Supervisory control Control and Systems Engineering 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering computer Vulnerability (computing) |
| Zdroj: | Journal of Control, Automation and Electrical Systems. 30:125-135 |
| ISSN: | 2195-3899 2195-3880 |
| DOI: | 10.1007/s40313-018-0420-9 |
| Popis: | Communication networks are commonly used to connect sensors, actuators, and controllers to monitor and control cyber-physical systems (CPS). The use of communication networks increases the vulnerability of the CPS to cyber attacks that can drive the system to reach unsafe states. One of the most powerful cyber attacks is the so-called man-in-the-middle attack, where the intruder can observe, hide, create or replace information in the attacked network channel. In a previous paper, we have introduced the definition of NA-Safe controllability, that is related with the capability of detecting intrusions and preventing damages caused by man-in-the-middle attacks in the sensor and/or control communication channels in supervisory control systems. In this paper, we extend our previous work as follows: (i) we prove the correctness of the NA-Safe controllability verification algorithm; (ii) we show how to implement the security module against cyber attacks; (iii) we show that NA-Safe controllability is a necessary and sufficient condition for the existence of the security module; and (iv) we present a practical example to illustrate the results of the paper. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink