Motta, Carlo (2024) Security Assessment and Enforcement Strategies for Event-Driven Cyber-Physical Systems. [Tesi di dottorato]
Anteprima |
Testo
Motta_Carlo_36.pdf Download (6MB) | Anteprima |
| Tipologia del documento: | Tesi di dottorato |
|---|---|
| Lingua: | English |
| Titolo: | Security Assessment and Enforcement Strategies for Event-Driven Cyber-Physical Systems |
| Autori: | Autore Email Motta, Carlo carlo.motta@unina.it |
| Data: | 9 Marzo 2024 |
| Numero di pagine: | 144 |
| Istituzione: | Università degli Studi di Napoli Federico II |
| Dipartimento: | Ingegneria Elettrica e delle Tecnologie dell'Informazione |
| Dottorato: | Information technology and electrical engineering |
| Ciclo di dottorato: | 36 |
| Coordinatore del Corso di dottorato: | nome email Russo, Stefano stefano.russo@unina.it |
| Tutor: | nome email DeTommasi, Gianmaria [non definito] Sanitini, Stefania [non definito] |
| Data: | 9 Marzo 2024 |
| Numero di pagine: | 144 |
| Parole chiave: | Petri Nets, Non-Interference, Opacity, MILP and ILP problems, Resilient Supervisory Control, Cyber-attacks. |
| Settori scientifico-disciplinari del MIUR: | Area 09 - Ingegneria industriale e dell'informazione > ING-INF/04 - Automatica |
| Depositato il: | 15 Mar 2024 15:08 |
| Ultima modifica: | 04 Mag 2026 08:29 |
| URI: | http://www.fedoa.unina.it/id/eprint/15513 |
Abstract
Today’s technological society is characterized by the prevalence of complex systems comprising multiple intelligent elements and devices. The communication among these elements forms the so-called cyber-physical systems, examples of which are autonomous automated highway systems, avionics, and smart grids. The connectivity, needed to make the physical objects (or sensor devices) transmit information to the control system and receive data, renders the control system susceptible to cyber-attacks. The realm of discrete event systems offers promising avenues for addressing the challenges posed by cyber-attacks in cyber-physical systems, whether they constitute a threat to safety or privacy. This dissertation aims to introduce optimization-based approaches to assess both non-interference and opacity in discrete event systems modeled as Petri nets. Inferring necessary and sufficient conditions to obtain non-interference requires the solution of integer feasibility problems with nonlinear constraints. Regarding opacity, necessary and sufficient conditions to check initial state opacity in discrete event systems modeled as bounded and live Petri nets are given. The proposed approaches for these two cases rely on both the algebraic representation of Petri nets dynamic and their structural representation and exploits commonly used off-the-shelf optimization tools. The second aim is to ensure safety in a distributed dynamical system, modeled as a discrete events system, whose feedback control is compromised by either communication delays or by a malicious attacker hijacking the system communication channel. The focus is autonomous connected vehicle applications and the synthesis of a supervisor that is robust against large class attacks. The effectiveness of the proposed approaches is shown by means of several examples.
Downloads
Downloads per month over past year
Actions (login required)
 |
Modifica documento |
