Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/57705
Type: | Dissertação |
Title: | Um protocolo de votação com privacidade incondicional |
Other Titles: | A voting protocol with unconditional privacy |
Authors: | Gabriel Gomes Gaspar |
First Advisor: | Jeroen Antonius Maria van de Graaf |
First Referee: | Diego de Freitas Aranha |
Second Referee: | Mario Sérgio Ferreira Alvim Júnior |
Third Referee: | Alejandro Hevia |
Abstract: | O desenvolvimento de protocolos eleitorais criptográficos ganhou especial tração nas primeiras décadas do século XXI, impulsionado principalmente pelos diversos avanços tecnológicos e científicos junto às novas demandas democráticas frente o contexto contemporâneo de crescente informatização. Central a tais protocolos encontra-se o conceito de independência de software, o qual especifica que um sistema eleitoral eletrônico deve produzir uma trilha de evidências que seja capaz de atestar a correção dos resultados eleitorais e que possa ser verificada de forma independente de maquinário eletrônico específico, sem contudo violar o sigilo individual dos eleitores. Em tais sistemas criptográficos, no entanto, faz-se necessário um compromisso com a integridade incondicional dos resultados ou o sigilo incondicional do voto dos eleitores, sendo comum nos protocolos mais proeminentes prezar pela incondicionalidade da integridade. Nesse sentido, o presente trabalho descreve uma proposta de protocolo eleitoral que também respeita o princípio da independência de software, mas que, em contraste, preza pela incondicionalidade do sigilo individual dos votos, sob o credo de que este deve apresentar capacidades de manutenção eterna. Ademais, o protocolo proposto viabiliza verificação de ponta-a-ponta (E2E-V) dos votos por meio de um recibo impresso fornecido ao eleitor, além de prover uma metodologia de auditoria universal por meio de uma equação matemática simples que deve ser verificada como verdadeira para toda eleição íntegra, de tal forma permitindo a qualquer observador do processo, ante premissas criptográficas bem estabelecidas, atestar a integridade dos resultados eleitorais produzidos. O trabalho apresenta ainda uma instanciação do protocolo na forma de uma implementação, viabilizando ilustração e análise de alguns de seus aspectos mais centrais. |
Abstract: | The development of cryptographic electoral protocols gained further traction in the first decades of the twenty-first century, largely due to various advances in science and technology and also motivated by the renewed demands of the various democracies in the context of growing informatization. Central to these protocols is the concept of software independence, which states that an electoral system must produce an evidence trail that allows for integrity checks on the election’s results independently from election-specific electronic machinery, all the while preserving voters’ privacy. In such cryptographic systems, however, it seems inevitable that a compromise needs to be made between unconditional integrity of the results and unconditional privacy of the votes, unconditional integrity being the common choice in many of the most prominent protocols. In this sense, this work proposes an electoral protocol that likewise respects the principle of software independence, but that contrasts to many other proposals in its choice of unconditional privacy of the votes under the belief that voters need to be assured eternal secrecy regarding their electoral choices. Furthermore, the protocol proposed enables end-to-end verifiability (E2E-V) of individual votes via a printed receipt issued to each voter, besides providing universal audit features by means of a simple mathematical equation that must hold for a correctly executed election. This work also presents an implementation of the protocol that allows for illustration of its workings and analysis of some of its core aspects. |
Subject: | Computação – Teses Criptografia – Teses Votação – Medidas de segurança – Teses Voto eletrônico – Teses |
language: | por |
metadata.dc.publisher.country: | Brasil |
Publisher: | Universidade Federal de Minas Gerais |
Publisher Initials: | UFMG |
metadata.dc.publisher.department: | ICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO |
metadata.dc.publisher.program: | Programa de Pós-Graduação em Ciência da Computação |
Rights: | Acesso Aberto |
metadata.dc.rights.uri: | http://creativecommons.org/licenses/by-sa/3.0/pt/ |
URI: | http://hdl.handle.net/1843/57705 |
Issue Date: | 8-Sep-2021 |
Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Um protocolo de votação com privacidade incondicional.pdf | 4.79 MB | Adobe PDF | View/Open |
This item is licensed under a Creative Commons License