KEYWORD |
Sviluppo di uno strumento di analisi di sicurezza per sistemi cyber-fisici
Riferimenti BARTOLOMEO MONTRUCCHIO
Riferimenti esterni luca.durante@ieiit.cnr.it
Descrizione Sviluppo e ingegnerizzazione di uno strumento di analisi e verifica di implementazione di policy di access control su di un modello realistico e dettagliato di un sistema cyber-fisico. I campi di indagine e sviluppo si articolano lungo i seguenti assi:
a) il modello del sistema
b) ampliamento della tipologia delle policy verificate
c) algoritmi alla base dell'analisi
d) mitigazione (semi)automatica delle criticità identificate
Keywords: security, cyber-physical systems, access control
Competenze richieste: programmazione in C, Bison e Flex (linguaggi e traduttori)
Scadenza validita proposta 12/04/2020
PROPONI LA TUA CANDIDATURA