La democràcia es el sistema de govern més utilitzat al món. No obstant, en un món cada vegada més globalitzat, la idea de mobilitzar la gent per votar en un col·legi electoral gestionat per persones resulta antiquada tot i ser la implementació més comú en l'actualitat. Millorar aquesta situació mitjançant l'ús de les tecnologies de la informació sembla una evolució òbvia i molt demanada però, malgrat l'existència d'algunes implementacions en entorns reals, encara no ha estat utilitzada excepte en comptades ocasions. Obrir la porta d'unes eleccions a les tecnologies de la informació implica l'obertura dels protocols de votació a un nou conjunt d'atacs contra aquests.
Tenint en compte els requisits d'una elecció: privacitat del votant i integritat de l'elecció, les solucions actuals passen per implementar l'elecció seguint un dels tres paradigmes de vot segurs: barreja de vots, recompte homomòrfic o signatura cega.
En aquesta tesi, es proposen nous protocols per als diferents paradigmes. La primera proposta consisteix en un sistema de vot que, basant-se en una informació redundant enviada pel votant, és capaç de realitzar una barreja de vots amb cost negligible incrementant lleugerament el cost del recompte. Per al paradigma de recompte homomòrfic, es proposa una prova de validesa del vot basada en les proves utilitzades per demostrar la correctesa en sistemes amb barreja de vots. Aquesta solució permet utilitzar les millores realitzades sobre el paradigma de barreja de vots per al seu ús en el paradigma de recompte homomòrfic. Finalment, es plantegen dues solucions per a eleccions del paradigma de signatura cega. La primera utilitza credencials generades amb signatura cega per permetre als votants vàlids enviar el seu vot sense que es conegui la seva identitat. La segona resol el problema del vot doble en aquest paradigma mitjan cant una construcció que utilitza un sistema de moneda electrònica off-line. / La democracia es el sistema de gobierno más usado en el mundo. No obstante, en un mundo cada vez más globalizado, la idea de movilizar a la gente para votar en un colegio electoral gestionado por personas resulta anticuada a pesar de ser la implementación más común en la actualidad. Mejorar esta situación mediante el uso de las tecnologías de la información parece una evolución obvia y muy solicitada pero, a pesar de unas pocas adaptaciones, aún no ha sido usada salvo en escasas ocasiones. Abrir la puerta de unas elecciones a las tecnologías de la información lleva implícita la apertura de los protocolos de voto a un nuevo conjunto de ataques contra estos. Teniendo en cuenta los requisitos de una elección: privacidad del votante e integridad de la elección, las soluciones actuales pasan por implementar la elección siguiendo uno de los tres paradigmas de voto seguros: mezcla de votos, recuento homomórfico o firma ciega. En esta tesis, se proponen nuevos protocolos para los distintos paradigmas. La primera propuesta consiste en un sistema de voto bajo el paradigma de mezcla de votos que, basándose en una información redundante enviada por el votante, es capaz de realizar una mezcla de votos con un coste negligible incrementando ligeramente el coste del recuento. Para el paradigma de recuento homomórfico, se propone una prueba para verificar que el voto es válido basada en las pruebas de correctitud en sistemas con mezcla de votos. Esta solución permite usar las mejoras realizadas en el paradigma de mezcla de votos para su uso en el paradigma de recuento homomórfico. Finalmente, se proponen dos nuevos protocolos del paradigma de firma ciega. El primero utiliza credenciales generadas con firma ciega para permitir a votantes válidos enviar su voto sin que se conozca su identidad. El segundo resuelve el problema del voto doble en el paradigma de firma ciega mediante una construcción que utiliza un sistema de moneda electrónica off-line. / Democracy is the most established government system in the world. However,
in an increasingly globalized world, the idea of requiring people to
move in order to cast their vote in the polling station seems outdated, even
though it is, nowadays, the most common implementation. An obvious and
widely demanded evolution is to improve the election framework by enabling
the use of information technologies. Nevertheless, this solution has been implemented
few times in real environment elections and the global success of
these solutions have been called into question.
The use of information technologies in voting protocols improves the
quality of the election but, at the same time, it also opens up the voting
protocols to new threats. Keeping this attacks in mind and given the election
requirements: voter's privacy and election's integrity, the solutions proposed
up to date are to implement one of the three secure voting paradigms: mixtype
based, homomorphic tally, and blind signature.
In this thesis, we present new protocols for the di erent paradigms.
Our rst proposal, based on the mix-type paradigm, consists in a voting
protocol which is able to perform the ballot mix with negligible cost but
slightly increasing the tally cost. The proposed protocol makes use of a
proper vote generation based on sending secret redundant information with
the ballot when it is cast.
For the homomorphic tally paradigm, we propose a zero knowledge proof
of correctness of the ballot based on the proofs used to demonstrate the
correctness of a shu e in the mix-type paradigm. This protocol makes
possible to use the improvements on the shu e correctness proofs in the
homomorphic tally paradigm.
Finally, two di erent protocols are also proposed for the blind signature
paradigm. The rst one uses credentials generated by means of a blind
signature which allow eligible voters to cast their vote without leaking information
about their identity. The second one is focused on solving the double
voting problem in this paradigm. The protocol proposed uses o -line e-coin
systems to provide anonymity disclosure in case of double voting.
| Identifer | oai:union.ndltd.org:TDX_UDL/oai:www.tdx.cat:10803/378641 |
| Date | 21 November 2015 |
| Creators | Mateu Meseguer, Víctor |
| Contributors | Miret, Josep M. (Josep Maria), Sebé Feixas, Francesc, Universitat de Lleida. Departament de Matemàtica |
| Publisher | Universitat de Lleida |
| Source Sets | Universitat de Lleida |
| Language | English |
| Detected Language | Spanish |
| Type | info:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/publishedVersion |
| Format | 114 p., application/pdf |
| Source | TDX (Tesis Doctorals en Xarxa) |
| Rights | ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al servei TDX. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a TDX (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs., info:eu-repo/semantics/openAccess |
Page generated in 0.0027 seconds