Fondamenti di sicurezza informatica
a.a. 2024/25
Responsabile didattico: Marino Miculan
Periodo: annuale
Durata: 28 ore
Programma: Questo corso fornisce una rigorosa introduzione ai fondamenti teorici della sicurezza informatica. Esploreremo concetti fondamentali, modelli e tecniche per analizzare la sicurezza dei sistemi. Il corso enfatizzerà il ragionamento matematico e i metodi formali per garantire una profonda comprensione dei principi di sicurezza. • Introduzione alla Sicurezza Informatica
o Obiettivi e minacce alla sicurezza
o Modelli e framework di sicurezza • Crittografia
o Crittografia simmetrica e asimmetrica
o Funzioni hash
o Firme digitali e certificati
o Gestione e distribuzione delle chiavi
o Protocolli di Sicurezza
o Protocolli di autenticazione
o Protocolli di scambio delle chiavi
o Metodi Formali per la Sicurezza
o Introduzione ai metodi formali
o Applied π-calculus per modellare e analizzare protocolli di sicurezza
o Bisimulazione e relazioni di equivalenza
o Proprietà e verifica della sicurezza
o Strumenti Automatici per l'Analisi della Sicurezza
o Introduzione a ProVerif e Tamarin
o Utilizzo di ProVerif e Tamarin per l'analisi dei protocolli
o Casi di studio e applicazioni pratiche
o Se rimane tempo: Modelli Computazionali e CryptoVerif
Il materiale didattico include articoli scientifici, slide, manuali e tutorial dei tool.