AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-3

Anno accademico
2023/2024 Programmi anni precedenti
Titolo corso in inglese
AUTONOMOUS, DISTRIBUTED AND PERVASIVE SYSTEMS-3
Codice insegnamento
PHD156-3 (AF:471256 AR:258250)
Modalità
In presenza
Crediti formativi universitari
2
Livello laurea
Corso di Dottorato (D.M.45)
Settore scientifico disciplinare
INF/01
Periodo
Annuale
Anno corso
1
Sede
VENEZIA
Spazio Moodle
Link allo spazio del corso
Il corso fornirà un'introduzione rigorosa all'utilizzo di metodo formali per l'analisi di sicurezza del software. L'insegnamento si propone di introdurre tecniche atte a dimostrare l'assenza di vulnerabilità.
Lo studente imparerà alcune tecniche di provato successo nell'ambito dei metodi formali per la sicurezza. Lo studente migliorerà le proprie abilità di formalizzazione e dimostrazione.
Rudimenti di matematica discreta.
Controllo degli accessi, language-based security, information flow control, sicurezza dei protocolli.
Appunti forniti dal docente.
Esame scritto, comprendente alcuni esercizi e domande teoriche relative ai principali contenuti del corso. E' possibile concordare col docente una modalità di verifica dell'apprendimento alternativa.
Lezione frontale alla lavagna.
Inglese
scritto
Programma definitivo.
Data ultima modifica programma: 16/02/2024