Obiettivi formativi
Nel corso vengono esaminati i concetti di base per lo studio della
sicurezza dei sistemi e delle transazioni telematiche. Viene data
particolare enfasi all'aspetto definizionale del problema,
all'aspetto della criptazione dei dati, e al modo di affrontare la
letteratura esistente. Al termine del corso lo studente ha
acquisito maggior sensibilità alle problematice di sicurezza
in rete ed è in gado di cercare e valutare autonomamente
soluzioni ad eventuali problemi di sicurezza.
Attività formative
Il corso viene svolto in 50 ore di lezione frontale. Le lezioni
sono svolte mantenendo un livello scientifico elevato. Buona parte
dei risultati vengono dimostrati formalmente. Lo studente non
è tenuto a comprendere tutti i dettagli del lavoro svolto;
tuttavia lo studente è tenuto a cogliere le
similarità che sussistono tra le diverse tipologie di
problema e i diversi modi di affrontare un problema. E' questo
l'elemento fondamentale che permette allo studente di leggere
autonomamente la letteratura esistente.
Programma del corso
- Elementi di teoria dei numeri: Gruppi Zn e
Zn*, gruppi ciclici, generatori, logaritmo discreto, residuo
quadratico, simboli di Legendre e Jacobi.
- Crittografia: storia della crittografia,
crittografia a chiave simmetrica (DES, IDEA), crittografia a chiave
pubblica (Diffie-Helman, RSA, Bloom-Goldwasser), tecniche
dimostrabilmente sicure per la codifica di un singolo bit e di
sequenze di bit, tecniche per il lancio di una moneta in rete,
lancio di moneta nel pozzo, generazione di bit pseudo-casuali
(Bloom-Bloom-Shoub), generazione di funzioni pseudo-casuali.
- Protocolli: firma digitale, autenticazione di
messaggi, bit committment, schemi a barriera, blind signature,
comunicazione non tracciabile, protocolli zero-knowledge, denaro
digitale, voto digitale, autenticazione di agenti, distribuzione di
chiavi, certificazione di chiavi.
- Sicurezza dei sistemi: Elementi e criteri
generali di sicurezza, attacchi ai sistemi e difese, virus, vermi,
firewall.