Sulla Sicurezza di Alcuni Protocolli per il Voto Crittografico

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:
[img] 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
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Baccolini, Giulia
Relatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum A: Progettazione e analisi del software
Ordinamento Cds
DM270
Parole chiave
Minivoting,Protocollo di Voto Elettronico,Modello Computazionale,CryptoVerif,EasyCrypt
Data di discussione della Tesi
16 Marzo 2017
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^