Security certification of modern systems: from cloud computing to artificial intelligence

La continua evoluzione dell'IT (dal cloud computing all'intelligenza artificiale) sta cambiando il design, lo sviluppo e la distribuzione del software/applicazioni e delle infrastrutture IT corrispondenti. Nonostante tali tecnologie siano ormai diventate di uso comune, ci sono ancora ostacoli importanti nel loro percorso di adozione in scenari critici. Tra questi, le problematiche di assurance diventano pressanti e introducono il bisogno di ripensare gli approcci di assurance per supportare la valutazioni di proprietà non funzionali (sicurezza) dei sistemi basati su cloud, cloud-edge, IoT e intelligenza artificiale. Una gestione appropriata dei requisiti di assurance, infatti, può velocizzare l'adozione di applicazioni costruite su sistemi moderni i) incrementando la fiducia degli utenti nelle tecnologie, ii) supportando un bilanciamento tra costi, performance, e qualità del servizio. Tali requisiti emergono chiaramente in sforzi portati avanti a livello europeo come il lavoro nell'ambito della certificazione di sistemi cloud svolto da ENISA e l'AI Act. Il corso fornirà una panoramica degli approcci per l'assurance e la sicurezza in sistemi e applicazioni moderne, discutendo e confrontando soluzioni e metodologie sviluppate per verificare e certificare sistemi distribuiti moderni e basati su intelligenza artificiale.