Corso di Laurea in Informatica
Anno Accademico 2011-12
245AA - 6 crediti
Appello per studenti lavoratori |
| Docente | Anna Bernasconi
|
||||
| Orario |
|
||||
| Ricevimento |
|
Obiettivi del corso e programma
Bibliografia
Prerequisiti
Modalità d'esame
Date appelli
Testi d'esame 2007-8-9
Registro delle lezioni
Implementazione c++ dell'algoritmo Euclide Esteso (autore: Marco Bianucci): sorgente, eseguibile.
Bibliografia
- [FL] Paolo Ferragina e Fabrizio Luccio. "Crittografia: Principi, Algoritmi, Applicazioni",
Bollati Boringhieri, edizione 2007 (testo di riferimento).
- J. Mullins. Making unbreakable code. IEEE Spectrum, Maggio 2002, pp. 40-45.
- Dispensa del Prof. Luccio.
- [S] William Stallings. "Crittografia e sicurezza delle reti", Mc Graw-Hill.
- Wade Trappe, Lawrence C. Washington. "Crittografia con elementi di teoria dei codici", Pearson.
Prerequisiti del corso
Nozioni di base di algebra, teoria della probabilità, algoritmi e strutture dati, sistemi operativi.
Modalità d'esame
Scritto e eventuale orale per spiegare lo scritto.
ATTENZIONE:
Durante la prova scritta gli studenti NON possono consultare libri, appunti o altro materiale didattico.
Date appelli
- Pre-appello: 21 dicembre 2011, ore 14, aula C.
- Primo appello: 17 gennaio 2012, ore 11, aula A.
- Secondo appello: 8 febbraio 2012, ore 11, aula A.
Registro delle lezioni
N Data Argomenti Riferimenti bibliografici 1 19/09 Introduzione al corso: cifratura, decifrazione, attacchi, livelli di segretezza, cifrari simmetrici, crittografia a chiave pubblica. Rappresentazione di dati: alfabeti e sequenze. [FL, cap 1, 2] 2 20/09 Richiami di calcolabilità e complessità computazionale. [FL, cap 2, 3] 3 26/09 Classi di complessità P, NP, co-NP, problemi NP completi e NP hard.
Definizione e proprietà delle sequenze casuali; complessità secondo Kolmogorov di una sequenza.[FL, cap 3, 4] 4 27/09 Generazione di sequenze pseudo-casuali e generatori crittograficamente sicuri. Algoritmi randomizzati: il problema della primalità. [FL, cap 4] 5 3/10 Test di primalità di Miller-Rabin e generazione di numeri primi. [FL, cap 4]
Esercizi su complessità e randomizzazione6 4/10 I cifrari storici: introduzione. Cifrari monoalfabetici, polialfabetici, a trasposizione. Crittoanalisi statistica.
[FL, cap 5]
Esercizi sui cifrari storici7 10/10 Cifrari perfetti. Il cifrario One-time Pad. [FL, cap 6]
Esercizi sui cifrari perfetti8 11/10 Esercitazione: risoluzione di esercizi d'esame. 9 17/10 Il cifrario simmetrico standard (DES): storia e struttura. [FL, cap 7]
Figure DES
Esercizi sul cifrario DES10 18/10 Attacchi, variazioni e alternative al DES. Il cifrario AES. Metodi di trasmissione a blocchi: CBC. [FL, cap 7] 11 24/10 Introduzione alla crittografia a chiave pubblica. Richiami di algebra modulare e algoritmo di Euclide esteso per il calcolo dell'inverso. Le funzioni one-way trap-door. [FL, cap 8] 12 25/10 Il cifrario RSA. Attacchi all'RSA. Cifrari ibridi. Il protocollo di scambio di chiavi di Diffie-Hellman. [FL, cap 8] 13 7/11 Esercitazione: risoluzione di esercizi d'esame (RSA, DH). Esercizi sul cifrario RSA e sul protocollo DH 14 8/11 Distribuzione quantistica delle chiavi: il protocollo BB84.
Funzioni hash one-way. Protocolli di identificazione.J. Mullins. Making unbreakable code. IEEE Spectrum, Maggio 2002, pp. 40-45. Figure: 1, 2.
[FL, cap 9]15 14/11 Protocolli interattivi "Zero Knowledge" e loro applicazione all'identificazione. Dispensa del Prof. Luccio, pagine 2-12. 16 15/11 Autenticazione e firma digitale. Attacchi al protocollo di firma. [FL, cap 9] 17 21/11 La firma digitale e la "Certification Authority". [FL, cap 9] 18 22/11 Esercitazione: risoluzione di esercizi d'esame. Esercizi su funzioni hash, MAC e firma digitale. 19 28/11 Il protocollo SSL. [FL, cap 10] 20 29/11 Introduzione alla crittografia su curve ellittiche. Curve ellittiche sui reali: descrizione geometrica e algebrica della somma. Curve ellittiche su campi finiti. Dispensa del Prof. Luccio, pagine 19-26.
Certicom: ECC Tutorial
[S, 10.3]21 5/12 Curve ellittiche su campi finiti: descrizione algebrica della somma. Il problema del logaritmo discreto per le curve ellittiche. Crittografia su curve ellittiche: scambio di chiavi, cifratura e decifrazione. Dispensa del Prof. Luccio, pagine 19-26.
Certicom: ECC Tutorial
[S, 10.4]22 6/12 Seminario del Prof. Fabrizio Luccio: Introduzione alla steganografia e steganalisi. 23 12/12 Esercitazione: risoluzione di esercizi d'esame (ECC). Esercizi su ECC. 24 13/12 Esercitazione: esercizi in preparazione della prova scritta.