Indisponibilità di servizio di una rete di server , con sensori wireless, tollerante agli attacchi informatici ed ai guasti

8 Introduzione Contesto della tesi Il presente lavoro di tesi si inquadra nella linea di ricerca "analisi di vulnerabilità, sicurezza ed interdipendenze di reti e sistemi tecnologici complessi" dell'unità di Calcolo e Modellistica di ENEA. Per la regolazione, il controllo e la protezione di processi complessi ed infrastrutture critiche è necessario riporre giustificata fiducia su sistemi complessi, come i sistemi informatici geograficamente distribuiti, e su reti di comunicazione. Le reti di comunicazione, anche mobili e pubbliche, rappresentano il cuore di tali sistemi e li rendono più vulnerabili per le numerose, complesse ed anche indesiderabili o sconosciute interazioni tra i sottosistemi stratificati e per le interdipendenze con l’ambiente esterno, ponendo sfide severe nell’analisi della loro vulnerabilità e sicurezza. La linea di ricerca contribuisce a comprendere la vulnerabilità, la sicurezza, l’affidabilità e le interdipendenze di reti di comunicazione e sistemi tecnologici complessi, in termini di suscettibilità alla degradazione e/o alla perdita dei servizi essenziali dovuta ad eventi avversi come guasti, guasti in cascata, intrusioni o malfunzionamenti ed alla loro possibile co-esistenza con elevate richieste di tali servizi. Correntemente la linea di ricerca segue tre direttrici metodologiche principali: - predizione stocastica (metodi, strumenti e modelli sequenziali basati su Alberi di guasto, Reti di Bayes, Catene di Markov, Reti di Petri); - analisi degli indicatori di interconnessione (metodi e strumenti basati sulla teoria dei grafi e della complessità); - verifica formale automatica (model checking);