Comunicazioni
Lezioni
Materiale didattico
Verifying Extended Criteria for the Interoperability of
Security Devices |  |
Sicurezza dei protocolli tcp e http | |
Struttura dei protocolli di comunicazione. | |
Informazioni
| Anno accademico | 2016-2017 |
|---|---|
| Crediti | 6 |
| Settore | INF/01 |
| Anno | 1 |
| Semestre | 1 |
| Propedeuticità | Nessuna |
Programma
Programma del corso: - teorema dei resti cinesi - teorema di eulero (aritmetica modulare) - algoritmo di euclide esteso - algoritmo RSA - workflow e loro rappresentazione in forma normale congiuntiva - alberi di descrizione delle transazioni - regole di sicurezza su sistemi multitransazionali - modelli per la cifra omomorfica - uso della cifra omomorfica per la distribuzione controllata di chiavi di cifra - network security: tipologie di attacchi in rete, controllo e documentazione di attacchi - progetto da realizzare: - traccia 1: dato un insieme di processi che costituiscono una transazione complessa in rete, disegnare l'albero di descrizione delle transazioni e applicarlo a un caso reale - traccia 2: disegnare e realizzare un'architettura di sicurezza basata su agenti software per consentire a due (o più) peer di condividere chiavi di cifra senza il rischio di attacchi di tipo man in the middle. |
Testi di riferimento
Handbook of applied cryptography Smart Card Handbook John Wiley Sons Dispense
|
Ricevimento studenti
Studio: lunedi' e venerdi' dalle 10 alle 11 su appuntamento
|
Modalità di esame
presentazione di un progetto e relativa discussione
|