Analisi statica della sicurezza dei protocolli di voto
Massimiliano Barletta - CONSORZIO INTERUNIVERSITARIO NAZIONALE
Gli obiettivi principali della tesi son quelli di denire in Lysa protocolli di voto elettronico al ne di applicare un'analisi control flow in relazione alle principali proprietà che un protocollo, per elezioni in rete, deve rispettare per garantire un corretto svolgimento delle votazioni. Capire inoltre se esistono particolari impedimenti, utilizzando la sintassi Lysa, alla formalizzazione dei protocolli e successiva analisi (es. la sintassi non prevede nativamente alcune operazioni crittograche).
Fonte: Tesi di Laurea, Università degli Studi Ca' Foscari Venezia, Anno Accademico 2011- 2012
Settori: Elettronica
Parole chiave: Elettronica
- MIMIT - Ministero delle Imprese e del Made in Italy
- Contradata Milano
- Wago Italia
- MIMIT - Ministero delle Imprese e del Made in Italy