Obiettivi formativi

L'obiettivo del corso è quello di presentare agli studenti
le principali metodologie e tecnologie per la sicurezza delle reti, dei sistemi informatici distribuiti, e delle architetture software orientate ai servizi. Il corso fornisce quindi le principali nozioni teoriche e applicative per la progettazione teorica, la realizzazione pratica e l'analisi formale di protocolli, reti, sistemi e architetture per la sicurezza informatica.

Programma

- Introduzione e nozioni di base:
-- Obiettivi, rischi, attacchi
-- Crittografia a chiavi simmetriche e asimmetriche
-- Infrastrutture a chiavi pubbliche
-- Canali di comunicazione
-- Casi di studio (X.509, PGP)
- Protocolli per la sicurezza:
-- Modelli di rischio e di attacco
-- Metodi di analisi formale
-- Casi di studio (Kerberos, Transport Level Security TLS, Internet Key Exchange IKE, IP Security IPSec, Single Sign-On SSO)
- Privacy e anonimità:
- Politiche, problemi, meccanismi (pseudonimi e proxies)
-- Casi di studio (Mix Networks, Crowds, Side-channel attacks)
- Intruders e firewalls
- Sicurezza dei Web Services e delle architetture orientate ai
servizi


Laboratorio:

-Analisi del traffico di rete
Analisi del traffico di un protocollo qualunque, ad esempio http, osservando il contenuto di richieste e risposte.


-Rilevamento di anomalie nel traffico di rete
Scan delle porte (serie di richieste syn in ingresso su diverse porte da parte dello stesso IP), invio di spam (numero elevato di richieste smtp verso i server di posta).

-Verifica delle configurazioni di filtraggio del traffico di rete
Si parte da un firewall configurato (eventualmente in maniera leggermente scorretta rispetto a quella attesa) e, forgiando del traffico di rete ad hoc, effettuare un'analisi della sua configurazione (eventualmente diagnosticandone gli errori di configurazione) in base al traffico che scopriamo attraversarlo dalle risposte che otteniamo dai servizi che protegge.

- Rilevazione (fingerprint) di sistemi e servizi in base al traffico di rete
Ogni sistema operativo e servizio risponde alle richieste in maniera standard per quanto definito dal protocollo utilizzato ed includendo talune specificità che ne definiscono un "impronta digitale" (fingerprint).
In base a queste specificità è possibile rilevare il tipo di sistema o servizio che sta rispondeno alle richieste generate (sovente con un livello di dettaglio che permette di conoscerne anche la versione).


Per seguire con profitto l'insegnamento, è consigliabile che lo studente abbia già acquisito competenze in reti di telecomunicazione.

Modalità d'esame

La verifica del profitto avviene mediante una prova scritta.