New approaches for electronic voting paradigms
Víctor Mateu Meseguer · TDX (Tesis Doctorals en Xarxa) · 2015
La democracia es el sistema de govern mes utilitzat al mon. No obstant, en un mon cada vegada mes globalitzat, la idea de mobilitzar la gent per votar en un col·legi electoral gestionat per persones resulta antiquada tot i ser la implementacio mes comu en l'actualitat. Millorar aquesta situacio mitjancant l'us de les tecnologies de la informacio sembla una evolucio obvia i molt demanada pero, malgrat l'existencia 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 informacio implica l'obertura dels protocols de votacio a un nou conjunt d'atacs contra aquests. Tenint en compte els requisits d'una eleccio: privacitat del votant i integritat de l'eleccio, les solucions actuals passen per implementar l'eleccio seguint un dels tres paradigmes de vot segurs: barreja de vots, recompte homomorfic 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 informacio redundant enviada pel votant, es capac de realitzar una barreja de vots amb cost negligible incrementant lleugerament el cost del recompte. Per al paradigma de recompte homomorfic, es proposa una prova de validesa del vot basada en les proves utilitzades per demostrar la correctesa en sistemes amb barreja de vots. Aquesta solucio permet utilitzar les millores realitzades sobre el paradigma de barreja de vots per al seu us en el paradigma de recompte homomorfic. 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 valids 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 construccio que utilitza un sistema de moneda electronica off-line.