Elenco Lezioni, Argomenti e Riferimenti


 
Data
Ora
Argomento
LUN 17/2/14
9-11
Presentazione del corso. Introduzione alla sicurezza (I parte)
VEN 21/2/14
11-13
Presentazione del corso. Introduzione alla sicurezza (II parte)
MER 26/2/14
9-11
Introduzione alla crittografia simmetrica (I parte)
VEN 28/2/14
11-13
Introduzione alla crittografia simmetrica (II parte)
MER 5/3/14
9-11
Introduzione alla crittografia asimmetrica
VEN 7/3/14
11-13
Distribuzione e gestione delle chiavi
MER 12/3/14
9-11
Introduzione ai protocolli (I parte).
VEN 14/3/14
11-13
Introduzione ai protocolli (II parte).
MER 19/3/14
9-11
Protocolli di sicurezza, gli standards: Kerberos, SSL.
VEN 21/3/14
11-13
Protocolli di sicurezza, gli standards: IPsec.
MER 26/3/14
9-11
Introduzione alla BAN logics.
MER 9/4/14
9-11
BAN logics.
VEN 11/4/14
11-13
Introduzione al metodo induttivo di Paulson.
MER 16/4/14
9-11
Introduzione alle algebre di processi.
MER 30/4/14
9-11
Algebre di processi.
VEN 2/5/14
11-13
Introduzione all'analisi statica.
MER 7/5/14
9-11
Control Flow Analysis per il Pi Calculus (I parte).
VEN 9/5/14
11-13
Control Flow Analysis per il Pi Calculus (I parte).
MER 14/5/14
9-11
Orchestrazione sicura dei servizi web (I parte).
VEN 16/5/14
11-13
Control Flow Analysis per LySa.
MER 21/5/14
9-11
Orchestrazione sicura dei servizi web (II parte).