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)
- Lingua di insegnamento
- Inglese
- 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
Inquadramento dell'insegnamento nel percorso del corso di studio
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à.
Risultati di apprendimento attesi
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.
Prerequisiti
Rudimenti di matematica discreta.
Contenuti
Controllo degli accessi, language-based security, information flow control, sicurezza dei protocolli.
Testi di riferimento
Appunti forniti dal docente.
Modalità di verifica dell'apprendimento
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.
Modalità di esame
scritto
Metodi didattici
Lezione frontale alla lavagna.
Programma definitivo.
Data ultima modifica programma: 16/02/2024