Angelo Troina si Laurea in Scienze dell'Informazione presso l'Università di Bologna il 10/10/2002. Questo volume racchiude la sua tesi di Laurea riguardo un approccio probabilistico basato su algebre di processo per la definizione, la modellazione e l'analisi di proprietà di sicurezza di sistemi crittografici. Parole chiave: Informatica Teorica, Sistemi Concorrenti, Protocolli di Sicurezza, Crittografia Imperfetta, Algebre di Processo, Sistemi Probabilistici. Il contenuto di questo testo non è consigliato al lettore privo di una conoscenza di base delle tematiche di cui sopra.
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici
TROINA, ANGELO
2017
Abstract
Angelo Troina si Laurea in Scienze dell'Informazione presso l'Università di Bologna il 10/10/2002. Questo volume racchiude la sua tesi di Laurea riguardo un approccio probabilistico basato su algebre di processo per la definizione, la modellazione e l'analisi di proprietà di sicurezza di sistemi crittografici. Parole chiave: Informatica Teorica, Sistemi Concorrenti, Protocolli di Sicurezza, Crittografia Imperfetta, Algebre di Processo, Sistemi Probabilistici. Il contenuto di questo testo non è consigliato al lettore privo di una conoscenza di base delle tematiche di cui sopra.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
