Mixnets e EasyCrypt: dimostrazioni crittografiche assistite da calcolatore

Pini, Fabio (2013) Mixnets e EasyCrypt: dimostrazioni crittografiche assistite da calcolatore. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
Documenti full-text disponibili:
[img]
Anteprima
Documento PDF
Download (956kB) | Anteprima

Abstract

Negli ultimi anni l'avanzamento della ricerca in campo crittografico ha portato alla necessità di utilizzare strumenti software per la verifica delle prove formali. EasyCrypt è un tool, in fase di sviluppo, ideato per dimostrazioni basate su sequenze di giochi. Nella presente tesi viene presentato un caso di studio riguardante l'applicabilità di EasyCrypt alle mixing networks (abbr. mixnets). è presente un'esaustiva rassegna delle mixnets proposte in letteratura ed è descritta la teoria alla base delle dimostrazioni critografiche basate su sequenze di giochi. EasyCrypt viene analizzato nei suoi fondamenti teorici nonché nelle applicazioni pratiche, con riferimento particolare agli esperimenti svolti per la dimostrazione di proprietà di sicurezza delle mixnets.

Abstract
Tipologia del documento
Tesi di laurea (Laurea magistrale)
Autore della tesi
Pini, Fabio
Relatore della tesi
Scuola
Corso di studio
Indirizzo
Curriculum A: Scienze informatiche
Ordinamento Cds
DM270
Parole chiave
crittografia, mixnet, EasyCrypt, game-based proofs,sequence of games, computation-aided proofs
Data di discussione della Tesi
20 Marzo 2013
URI

Altri metadati

Statistica sui download

Gestione del documento: Visualizza il documento

^