Il corso fornisce strumenti per il progetto di intrusion detection per sistemi ad eventi discreti. Per tali sistemi il corso introduce alcune tecniche base per la realizzazione di controllori ed osservatori, su cui i sistemi di protezione cyber si basano.
scheda docente materiale didattico
La sicurezza delle informazioni e dei sistemi cyber-fisici richiede che le informazioni riservate o lo stato di un dispositivo non debbano essere scoperte da intrusi. In questo corso questa caratteristica, nota come opacità, verrà esaminata considerando la modellazione dei sistemi ad eventi discreti (DESs).
A tale scopo in questo corso verrà introdotto il formalismo degli automi a stati finiti deterministici, il concetto di osservatore per tali sistemi e la proprietà di opacità basata sullo stato e sul linguaggio. Nel corso verranno anche proposti problemi di verifica dell'opacità nel quadro della sicurezza informatica.
Programma
La diffusione di Internet of Things (IoT) e big data in ambito industriale ha creato nuovi modi di comunicazione tra diversi dispositivi. Questo ha comportato una crescente attenzione alle questioni di sicurezza legate alla crescente attività dei servizi di rete.La sicurezza delle informazioni e dei sistemi cyber-fisici richiede che le informazioni riservate o lo stato di un dispositivo non debbano essere scoperte da intrusi. In questo corso questa caratteristica, nota come opacità, verrà esaminata considerando la modellazione dei sistemi ad eventi discreti (DESs).
A tale scopo in questo corso verrà introdotto il formalismo degli automi a stati finiti deterministici, il concetto di osservatore per tali sistemi e la proprietà di opacità basata sullo stato e sul linguaggio. Nel corso verranno anche proposti problemi di verifica dell'opacità nel quadro della sicurezza informatica.
Testi Adottati
Appunti a cura dei docentiBibliografia Di Riferimento
João Carlos Basilio, Christoforos N. Hadjicostis and Rong Su (2021), "Analysis and Control for Resilience of Discrete Event Systems: Fault Diagnosis, Opacity and Cyber Security", Foundations and Trends® in Systems and Control: Vol. 8: No. 4, pp 285-443. http://dx.doi.org/10.1561/2600000024Modalità Frequenza
Non applicableModalità Valutazione
Elaborazione di un progetto. La valutazione tende ad accertare l’apprendimento dei concetti di base relativi ai sistemi ad eventi discreti e alla proprietà di opacità. scheda docente materiale didattico
La sicurezza delle informazioni e dei sistemi cyber-fisici richiede che le informazioni riservate o lo stato di un dispositivo non debbano essere scoperte da intrusi. In questo corso questa caratteristica, nota come opacità, verrà esaminata considerando la modellazione dei sistemi ad eventi discreti (DESs).
A tale scopo in questo corso verrà introdotto il formalismo degli automi a stati finiti deterministici, il concetto di osservatore per tali sistemi e la proprietà di opacità basata sullo stato e sul linguaggio. Nel corso verranno anche proposti problemi di verifica dell'opacità nel quadro della sicurezza informatica.
Programma
La diffusione di Internet of Things (IoT) e big data in ambito industriale ha creato nuovi modi di comunicazione tra diversi dispositivi. Questo ha comportato una crescente attenzione alle questioni di sicurezza legate alla crescente attività dei servizi di rete.La sicurezza delle informazioni e dei sistemi cyber-fisici richiede che le informazioni riservate o lo stato di un dispositivo non debbano essere scoperte da intrusi. In questo corso questa caratteristica, nota come opacità, verrà esaminata considerando la modellazione dei sistemi ad eventi discreti (DESs).
A tale scopo in questo corso verrà introdotto il formalismo degli automi a stati finiti deterministici, il concetto di osservatore per tali sistemi e la proprietà di opacità basata sullo stato e sul linguaggio. Nel corso verranno anche proposti problemi di verifica dell'opacità nel quadro della sicurezza informatica.
Testi Adottati
Appunti a cura del docenteBibliografia Di Riferimento
Basilio, J. C., Hadjicostis, C. N., & Su, R. (2021). Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security. Foundations and Trends in Systems and Control, 8(4), 285-443.Modalità Frequenza
Non applicabileModalità Valutazione
Elaborazione di un progetto. La valutazione tende ad accertare l’apprendimento dei concetti di base relativi ai sistemi ad eventi discreti e alla proprietà di opacità.