Security certification: from traditional software and cloud system to ml-based services

Apprendimento delle principali tecniche e schemi di certificazione per software, applicazioni e servizi in cloud. Fondamenti sulle proprietà non funzionali dei modelli di Machine Learning. Schemi di certificazione per servizi basati su modelli di Machine Learning. In particolare, verranno approfondite tecniche basate su testing e tecniche basate su monitoring. Verranno evidenziate le peculiarità degli schemi di certificazione presentati in relazione alla loro capacità di adattarsi dinamicamente alle evoluzioni del software/servizio certificato. Verranno anche introdotti schemi di certificazione che si integrano con la fase di design e sviluppo in ambienti DevOps.