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).
|