Opacity in discrete event systems: the cybersecurity perspective - Dipartimento di Ingegneria Civile, Informatica e delle Tecnologie Aeronautiche

Questa pagina descrive il corso di dottorato “Opacity in discrete event systems: the cybersecurity perspective“, tenuto dalle Prof.sse Graziana Cavone e Federica Pascucci

Date

14/07 h 10:00 – 2:00 – aula/room N13
15/07 h 15:00 – 17:00 – aula/room N8
16/07 h 8:30 – 10:30 – aula/room N8
17/07 h 10:00 – 12:00 – aula/room N7
22/07 h 10:00 – 12:00 – aula/room N3

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à nelquadro della sicurezza informatica.

Outline:

The advent of the Internet of Things (IoT) and the explosion of big data in modern industry have enabled novel forms of communication among heterogeneous devices. This connectivity, however, has also heightened the importance of addressing security concerns in networked systems. Ensuring the confidentiality of information and the integrity of cyber-physical systems is crucial to prevent unauthorized access to sensitive data and to safeguard the proper functioning of devices.In this course, we will explore the concept of opacity as a formal property used to model and analyze information flow in discrete event systems (DESs). The course introduces the formalism of deterministic finite-state automata, along with the concept of the observer, to study how information is inferred by external agents. Both state-based and language-based formulations of opacity will be discussed. Furthermore, we will examine methods for verifying opacity and consider its implications in the context of computer and network security.

ffrati 25 Luglio 2025