Baccolini, Giulia
(2017)
Sulla Sicurezza di Alcuni Protocolli per il Voto Crittografico.
[Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
![]() |
Documento PDF (Thesis)
Disponibile con Licenza: Salvo eventuali più ampie autorizzazioni dell'autore, la tesi può essere liberamente consultata e può essere effettuato il salvataggio e la stampa di una copia per fini strettamente personali di studio, di ricerca e di insegnamento, con espresso divieto di qualunque utilizzo direttamente o indirettamente commerciale. Ogni altro diritto sul materiale è riservato Download (479kB) |
Abstract
Questo lavoro ha come obiettivo la dimostrazione rigorosa e formale della sicurezza del protocollo di voto elettronico Minivoting (nella sua versione più semplice), nel modello computazionale. Dopo aver introdotto il modello computazionale e le primitive crittografiche nonché gli schemi su cui si basa Minivoting, vengono presentati i due dimostratori usati, CryptoVerif ed EasyCrypt, rispettivamente automatico e semiautomatico. Infine, viene descritto il protocollo Minivoting e data una dimostrazione sperimentale della sua sicurezza prima sfruttando CryptoVerif, poi mediante EasyCrypt.
Abstract