Prof. Alessio Meneghetti

Argomenti del programma: Logica Proposizioni, connettivi logici (not, or, and, if-then, if-and-only-if, nor, nand, xor), tavole di verità. I principi e le leggi della logica (principio di non contraddizione, principio della doppia negazione, principio del terzo escluso, leggi distributive, di assorbimento, di De Morgan). L’equivalenza semantica. La logica dei predicati e i quantificatori. Il principio di induzione.

Argomenti del programma: Introduzione alla Crittografia - Riservatezza, autenticazione, integrità, non ripudio - Concetto di segretezza - Cifratura e decifratura - Principio di Kerckhoffs - Chiave - Attacco bruteforce - Complessità computazionale e fattore tempo - Definizione di crittosistema - Sicurezza perfetta di Shannon Crittografia a chiave privata - Crittosistema a chiave privata - Condivisione della chiave e mancanza di non…