Πρακτικές βελτιώσεις επαληθευσιμότητας για το σύστημα ηλεκτρονικών ψηφοφοριών Ζευς

Τερζόπουλος, Δημήτριος; Terzopoulos, Dimitrios

dc.contributor.author	Τερζόπουλος, Δημήτριος	el
dc.contributor.author	Terzopoulos, Dimitrios	en
dc.date.accessioned	2017-02-20T11:26:05Z
dc.date.available	2017-02-20T11:26:05Z
dc.date.issued	2017-02-20
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/44391
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.13633
dc.rights	Default License
dc.subject	Ηλεκτρονική ψηφοφορία	el
dc.subject	Συστήματα εκλογών	el
dc.subject	Ζευς	el
dc.subject	Επαληθεύσιμη καταγραφή	el
dc.subject	Επαληθεύσιμη υποβολή	el
dc.subject	Υποβληθείσα ψήφος	en
dc.subject	Προτιθέμενη ψήφος	en
dc.subject	Zeus	en
dc.subject	Cast as intended verifiability	en
dc.subject	Recorded as cast verifiability	en
dc.subject	Electronic voting	en
dc.subject	Voting systems	en
dc.title	Πρακτικές βελτιώσεις επαληθευσιμότητας για το σύστημα ηλεκτρονικών ψηφοφοριών Ζευς	el
heal.type	bachelorThesis
heal.classification	Κρυπτογραφία	el
heal.classificationURI	http://data.seab.gr/concepts/1d5032de48e058a3bff46c7446dbde3e5c392ea4
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2016-10-31
heal.abstract	Όπως κάθε εκλογικό σύστημα, τα ακραίως επαληθεύσιμα συστήματα πρέπει να διασφαλίζουν τις δύο σημαντικότερες ιδιότητες ασφαλείας για την διεξαγωγή μιας εκλογικής διαδικασίας, την μυστικότητα της ψήφου και την ακεραιότητα της ψήφου. Στις παραδοσιακές εκλογές, ο φυσικός θάλαμος ψηφοφορίας και η σφράγιση της ψήφου σε ανώνυμο φάκελο εξασφαλίζουν την μυστικότητα της ψήφου, ενώ μια έντιμη εφορευτική επιτροπή εξασφαλίζει στον ψηφοφόρο ότι η ψήφος του δεν παραποιήθηκε και καταμετρήθηκε σωστά. Στις ηλεκτρονικές εκλογές, η μυστικότητα της ψήφου εξασφαλίζεται μέσω κρυπτογράφησης και στη συνέχεια μίξης των ψηφοδελτίων. Η ακεραιότητα των ψήφων εξασφαλίζεται μέσω ελέγχου και επαλήθευσης. Η ιδιότητα της επαληθευσιμότητας είναι καίριας σημασίας για τα ακραίως επαληθεύσιμα συστήματα εκλογών. Η παρούσα εργασία θα εστιαστεί στην ιδιότητα της επαληθευσιμότητας και πως αυτή μπορεί να γίνει με απλό και πρακτικό τρόπο. Στο πλαίσιο αυτό θα μελετηθούν οι τρόποι με τους οποίους εξασφαλίζεται η επαληθευσιμότητα σε διάφορα διάσημα ακραίως επαληθεύσιμα συστήματα εκλογών. Στη συνέχεια, θα γίνει παρουσίαση του τρόπου λειτουργίας του συστήματος Ζευς, στο οποίο η εξασφάλιση της ακεραιότητας της ψήφου γίνεται από τον ίδιο τον ψηφοφόρο. Η μέθοδος αυτή θα μελετηθεί και θα αξιολογηθεί. Όπως θα αναλυθεί, η μέθοδος αυτή έχει αρκετά πλεονεκτήματα, όταν αυτή χρησιμοποιείται από επαρκές και τυχαίο δείγμα ψηφοφόρων. Εάν, όμως, δεν χρησιμοποιηθεί, το σύστημα στερείται την ιδιότητα της επαληθευσιμότητας. Στόχος της παρούσας εργασίας είναι η πρόταση ενός εναλλακτικού τρόπου εξασφάλισης της ιδιότητας της επαληθευσιμότητας, ο οποίος δεν βασίζεται στον ψηφοφόρο και δεν απαιτεί καμία επιπλέον δράση εκ μέρους του. Η πρόταση βασίζεται στην εισαγωγή μιας ανεξάρτητης έμπιστης τρίτης αρχής της οποίας ο ρόλος θα είναι να επαληθεύει την ορθή καταγραφή των ψηφοδελτίων και να ελέγχει το σύστημα εκλογών. Έτσι η εμπιστοσύνη που πρέπει να έχει ο ψηφοφόρος διαμοιράζεται μεταξύ του συστήματος των ηλεκτρονικών εκλογών και της ανεξάρτητης αρχής. Στην πρόταση αυτή η αλλοίωση του αποτελέσματος μπορεί να γίνει και να μην εντοπιστεί μόνο εάν η αρχή συνωμοτήσει με το σύστημα των εκλογών.	el
heal.abstract	As any electoral system, the end-to-end verifiable voting systems must ensure the two most important security features for the conduct of an electoral process, which are no other than the secrecy and the integrity of the vote. During a traditional election process, the voting booth and the sealing of the vote in an unmarked envelope can ensure the secrecy of the vote, while an honest election committee ensures the voter that his vote is not distorted in any way and will be counted correctly. On the contrary, during the conduct of an electronic election, the secrecy of voting is ensured through encryption followed by the mixing of the ballots. The integrity of the vote is ensured through monitoring and verification. Verifiability property is of major importance for any end-to-end verifiable election system. This project will focus on the verifiability notion and how this can be done in a simple and practical way. In this context, we will address ways to ensure the verifiability, as they are implemented in various popular end-to-end verifiable election systems. Moreover, we will present the logic behind the Zeus electoral system, in which verifiability depends on the voter himself, as he needs to verify his vote. This method will be studied and evaluated. As it will be furtherly discussed in this project, this method has several advantages when used in a sufficient and random enough voter sample. However, in any other case, the system lacks verifiability. The objective of this project is the proposal of an alternative way of securing the property of verifiability, which is not based on the voters themselves and requires no additional action on their part. The proposal is based on the introduction of an third trusted and independent authority whose role is to verify that the ballots were cast as intended and will monitor the electoral process. So the trust the voter previously had to place only in the system itself is now shared between the electronic electoral system and the independent authority. In this proposal, a corrupted voting system can tamper with the votes and avoid being detected only if it manages to conspire with the independent authority.	en
heal.advisorName	Τσανάκας, Παναγιώτης	el
heal.committeeMemberName	Τσανάκας, Παναγιώτης	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Λουρίδας, Παναγιώτης	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Υπολογιστικών Συστημάτων	el
heal.academicPublisherID	ntua
heal.numberOfPages	86 σ.	el
heal.fullTextAvailability	true