Un framework formale unificato per l’analisi dimostrabilmente corretta sui rischi di safety e security

Sintesi

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 rim...

Requisiti principali

• Other