Un framework formale unificato per l’analisi dimostrabilmente corretta sui rischi di safety e security
Gruppo Scientifico-Disciplinare
01/INFO-01 - Informatica
Descrizione
La rapida integrazione di processi decisionali guidati dall'IA e di infrastrutture gestite via software ha reso obsoleta la tradizionale dicotomia tra safety (guasti non intenzionali) e security (attacchi avversari). Nei moderni sistemi ciber-fisici, i difetti di sistema e le azioni malevole non sono più eventi isolati, ma interagiscono in modo dinamico e a cascata. Gli attuali modelli di valutazione del rischio rimangono tuttavia compartimentati, fallendo nel catturare queste interdipendenze critiche e i compromessi intrinseci tra resilienza ed efficienza. L’obiettivo di questo progetto è colmare il divario tra safety e security attraverso un framework analitico unificato capace di elaborare interrogazioni di rischio multi-dominio con rigore matematico. Questo traguardo deve essere raggiunto sintetizzando tre pilastri distinti: ontologia formale, dimostrazione interattiva di teoremi (interactive theorem proving) e model checking.
Sito web del bando
https://www.uniurb.it/ateneo/utilita/concorsi/contratti-di-ricerca
Numero posti
1
Ente finanziatore
Università degli Studi di Urbino Carlo Bo – DISPEA
Come candidarsi
Other
Visualizza il bando originale sul sito del MUR: Vai al sito MUR