Metodi Formali per la Sicurezza

DOCENTE Chiara Bodei <chiara@di.unipi.it>
Orario Martedì 9-11, Aula B1 e Venerdì 11-13, Aula C
Orario ricevimento Lunedì 11-13

Avvisi

Materiale didattico (Lucidi, pdf)

MFS - Elenco Lezioni, Argomenti e Riferimenti


  Introduzione ai protocolli di sicurezza (I parte).
Data
Ora
Argomento
21/2/11
9-11
 Presentazione del corso. Introduzione alla sicurezza (I parte)
24/2/11
11-13
 Introduzione al corso. Introduzione alla sicurezza (II parte) Lucidi (I e II parte)
28/2/11
9-11
 Introduzione alla sicurezza (III parte) Lucidi (III parte)
2/3/11
11-13
6/3/11
9-11
 Introduzione alla crittografia simmetrica (I parte).
9/3/11
11-13
 Introduzione alla crittografia simmetrica (II parte). Lucidi I e II parte
Introduzione alla crittografia asimmetrica (I parte).
13/3/11
9-11
 Introduzione alla crittografia asimmetrica (II parte) Lucidi I e II parte
16/3/11
11-13
 Lezione rimandata.
20/3/11
9-11
 Distribuzione e gestione delle chiavi. Lucidi I e II parte
23/3/11
11-13
 Introduzione ai protocolli di sicurezza (I parte).
27/3/11
9-11
 Introduzione ai protocolli di sicurezza (II parte).
Lucidi I e II parte
30/3/11
11-13
 Sospensione lezioni prima verifica intermedia
3/4/11
9-11
 Sospensione lezioni prima verifica intermedia
6/4/11
11-13
 Vacanze di Pasqua
10/4/11
9-11
 Vacanze di Pasqua
13/4/11
11-13
 Protocolli di sicurezza, gli standards: Kerberos, SSL e IPsec.
Lucidi
17/4/11
9-11
 I prova di verifica.
20/4/11
11-13
 Introduzione alla BAN logic.
Lucidi
24/4/11
9-11
27/4/11
11-13
 Introduzione al metodo induttivo di Paulson.
Lucidi
1/5/11
9-11
 Festa del lavoro
4/5/11
12-13
 [solo seconda ora, per assemblea studentesca] Introduzione al pi calcolo.
8/5/11
9-11
 Il pi calcolo al servizio della sicurezza.
Lucidi
11/5/11
11-13
 Tecniche di analisi statica: la CFA e la sua applicazione al Pi calcolo e al controllo di proprietà di sicurezza.
Lucidi
15/5/11
9-11
 la CFA e la sua applicazione al calcolo LySa e al controllo di proprietà di sicurezza.
18/5/11
11-13
22/5/11
9-11
25/5/11
11-13