| KEYWORD |
Definizione di metodologie e sviluppo di strumenti per l'analisi e la verifica di proprietà di sicurezza di reti industriali
Parole chiave PROTEZIONE DI INFRASTRUTTURE CRITICHE, RETI INDUSTRIALI, SICUREZZA, MODELLI, STRUMENTI DI ANALISI
Riferimenti LUCA DURANTE
Riferimenti esterni Gianluca CENA (IEIIT/CNR, gianluca.cena@polito.it, tel. 011 090 5424)
Manuel CHEMINOD (IEIIT/CNR, manuel.cheminod@polito.it, tel. 011 090 5432)
Ivan CIBRARIO BERTOLOTTI (IEIIT/CNR, ivan.cibrario@polito.it, tel. 011 090 5426)
Adriano VALENZANO (IEIIT/CNR, adriano.valenzano@polito.it, tel. 011 090 5410)
Gruppi di ricerca IEIIT/CNR COMPUTER ENGINEERING AND NETWORKS GROUP
Descrizione L'interconnessione delle moderne reti industriali (sistemi SCADA, process control networks, fieldbus, reti d'automazione) con le reti d'ufficio, ed Internet più in generale, rende le medesime vulnerabili esattamente come le reti d'ufficio. D'altra parte però, i requisiti funzionali da un lato e la gravità delle conseguenze di intrusioni e guasti (installazioni in ambienti ostili e/o in presenza di materiali pericolosi) dall'altro rendono necessario un approccio alla sicurezza diverso da quello adottato per le reti tradizionali.
L'attività di tesi, condotta nello stimolante ambito di un progetto di ricerca finanziato da un'azienda italiana, leader nel mondo, può articolarsi lungo uno dei seguenti filoni, in base alle competenze ed attitudini del candidato ed ai requisiti del progetto di ricerca:
' sviluppo di modelli per la descrizione strutturata degli elementi di interesse nella gestione della sicurezza delle suddette reti
' sviluppo di modelli per la definizione dei requisiti e specifiche di sicurezza (security & safety) propri del dominio delle reti industriali, con particolare riferimento alle policy aziendali
' sviluppo di strumenti (semi)automatici per l'analisi e la gestione integrata (off-line e on-line) della sicurezza delle reti industriali
Scadenza validita proposta 12/03/2013
PROPONI LA TUA CANDIDATURA