COMPUTER SECURITY E LABORATORIO

9 CFU - 2° semestre

Docente titolare dell'insegnamento

GIAMPAOLO BELLA


Obiettivi formativi


Prerequisiti richiesti



Frequenza lezioni



Contenuti del corso



Testi di riferimento


Altro materiale didattico



Programmazione del corso

COMPUTER SECURITY
 ArgomentiRiferimenti testi
1Crittografia visuale e sue applicazioni 
2Sicurezza delle smartcard 
3Sicurezza su LAN: Kerberos V 
4Non ripudio: protocollo Zhou-Gollmann 
5Non ripudio: protocollo Crispo 
6Non ripudio: protocollo Abadi et al. 
7Analisi di protocolli: model checking 
8Analisi di protocolli: theorem proving 
9Analisi di protocolli: ProVerif 
10Penetration testing: concetti di base 
LABORATORIO
 ArgomentiRiferimenti testi
1Crittografia visuale e sue applicazioni 
2Sicurezza delle smartcard 
3Sicurezza su LAN: Kerberos V 
4Non ripudio: protocollo Zhou-Gollmann 
5Non ripudio: protocollo Crispo 
6Non ripudio: protocollo Abadi et al. 
7Analisi di protocolli: model checking 
8Analisi di protocolli: theorem proving 
9Analisi di protocolli: ProVerif 
10Penetration testing: concetti di base 


Verifica dell'apprendimento


MODALITÀ DI VERIFICA DELL'APPRENDIMENTO

PROVE IN ITINERE

PROVE DI FINE CORSO

ESEMPI DI DOMANDE E/O ESERCIZI FREQUENTI



Apri in formato Pdf English version