Computer Security

1. Conoscenza e capacità di comprensione (knowledge and understanding). Lo studente acquisisce conoscenza critica dei problemi di sicurezza considerati "di frontiera" oggigiorno.
2. Capacità di applicare conoscenza e comprensione (applying knowledge and understanding). Lo studente acquisisce capacità pratica di costruire un laboratorio virtuale per condurre esperimenti di penetration testing. Diventa altresì capace di condurre elementari sessioni di analisi formale.
3. Autonomia di giudizio (making judgements). Lo studente diventa un giocatore esperto del “gioco della sicurezza”, ovvero quello di trovare possibili attacchi ad un sistema che dovrebbe essere sicuro, onde poi aggiustare il sistema per proteggerlo dagli attacchi trovati.
4. Abilità comunicative (communication skills). Lo studente familiarizza col lessico tipico della sicurezza informatica, acquisendo la capacità di utilizzare in maniera disambigua le varie sfaccettature del termine “sicurezza” per quanto concerne alcuni argomenti di ricerca, il penetration testing e l'analisi formale.
5. Capacità di apprendimento (learning skills). Lo studente acquisisce la mentalità critica e le capacità metodologiche per affrontare e risolvere i nuovi problemi di sicurezza che gli si possano presentare.

Qualora l'insegnamento venisse impartito in modalità mista o a distanza potranno essere introdotte le necessarie variazioni rispetto a quanto dichiarato in precedenza, al fine di rispettare il programma previsto e riportato nel syllabus.

Si parte con lo studio della crittografia visuale e delle sue applicazioni, una tecnica che permette di nascondere informazioni all'interno di immagini in modo da renderle leggibili solo a chi possiede la chiave appropriata. Segue l'analisi della sicurezza delle smartcard, dispositivi utilizzati per l'autenticazione e la protezione dei dati, approfondendo le vulnerabilità e le misure di sicurezza specifiche. 

Il corso affronta anche la sicurezza nelle reti LAN, con particolare focus sul protocollo Kerberos V, utilizzato per l'autenticazione in rete, garantendo che solo gli utenti autorizzati abbiano accesso alle risorse. Viene trattato il tema del non ripudio, ossia la garanzia che un'azione o una comunicazione non possa essere negata in seguito, studiando in dettaglio i protocolli Zhou-Gollmann, Crispo, e Abadi et al., che forniscono soluzioni a questo problema.

Gli studenti apprendono come analizzare i protocolli di sicurezza utilizzando tecniche avanzate come il model checking, che verifica l'assenza di attacchi a modelli semplificati dei protocolli, il theorem proving, che dimostra la sicurezza di un protocollo tramite ragionamento logico, e ProVerif, uno strumento automatizzato per l'analisi e la verifica dei protocolli crittografici.

Il corso affronta poi il tema cruciale della compliance di sicurezza, con particolare attenzione al Regolamento Generale sulla Protezione dei Dati (GDPR). Gli studenti analizzano come i requisiti legali e organizzativi influenzino la progettazione e la gestione dei sistemi informativi sicuri. 

Infine, il corso introduce i fondamenti del penetration testing, illustrando le principali metodologie e fasi di un test di sicurezza etico. Gli studenti apprendono come identificare e sfruttare vulnerabilità in ambienti controllati, utilizzando strumenti e tecniche professionali per valutare la robustezza di sistemi e reti.

• William Stallings: Sicurezza delle reti. Applicazioni e standard
• Bruce Schneier: Sicurezza digitale. Miti da sfatare, strategie da adottare
• Dispense fornite dal docente durante le lezioni e pubblicate sulla piattaforma didattica

Naturalmente, la prova potrà includere anche esercizi su altri argomenti del programma.