Κατεύθυνση / ειδίκευση Θεωρητική Πληροφορική (ΘΕΩ)
Βιβλιοθήκη Σχολής Θετικών Επιστημών

2012-10-24

2012

Ορφανού Ανθή

Άγγελος Κιαγιάς Αναπλ. Καθηγητής ΕΚΠΑ

Voter Verifiable Internet Voting Protocols

Αγγλικά

Σε αυτή την εργασία μελετούμε το θέμα των ηλεκτρονικών εκλογών εξ' αποστάσεως
μέσω Διαδικτύου, οι οποίες είναι από τη φύση τους εκτεθειμένες σε δύο
σημαντικές απειλές: τις μη αξιόπιστες πλατφόρμες υποβολής ψήφου και το πρόβλημα
του εξαναγκασμού ψήφου. Εστιάζουμε στα πρωτόκολλα κωδικού επαλήθευσης, μια
τεχνική αντιμετώπισης των ζητημάτων ακεραιότητας ψήφου που προκύπτουν από τη
χρήση των μη αξιόπιστων υπολογιστών. Τα πρωτόκολλα αυτά χρησιμοποιούν
εξατομικευμένους κωδικούς επιβεβαίωσης για κάθε ψηφοφόρο, ώστε να οι χρήστες να
μπορούν να επαληθεύσουν ότι η ψηφος τους καταγράφηκε αναλλοίωτη. Μελετούμε τα
υπάρχοντα πρωτόκολλα κωδικού επαλήθευσης και αναλύουμε τα χαρακτηριστικά και
τις εγγυήσεις ασφαλείας τους. Επίσης προτείνουμε ένα νέο πρωτόκολλο επαλήθευσης
ψήφου, το οποίο χρησιμοποιεί την ίδια την ψήφο ως απόδειξη καταχώρησης, χωρίς
τη χρήση ενδιάμεσων κωδικών, βασιζόμενοι στην υπάρξη ενός ασφαλούς καναλιού
πραγματικού χρόνου. Η κατασκευή μας είναι ευέλικτη καθώς μας επιτρέπει να
χρησιμοποιήσουμε οποιοδήποτε πλήθος διακομιστών. Επιπλέον παρουσιάζουμε μια
φυσική επέκταση του πρωτοκόλλου μας με χρήση κωδικών επαλήθευσης, χαλαρώνοντας
τις απαιτήσεις μας για το ασφαλές κανάλι. Τέλος, υιοθετούμε τεχνικές οπτικής
κρυπτογραφίας για να μετασχηματίσουμε την κατασκευή σε ένα πρωτόκολλο οπτικής
επαλήθευσης ψήφου, το οποίο επιτρέπει στο χρήστη να επιβεβαιώσει την ψήφο του
συνδυάζοντας ασπρόμαυρες, φαινομενικά τυχαίες, εικόνες οι οποίες αποκαλύπτουν
την απόδειξη ψήφου όταν συνδυάζονται.

Ηλεκτρονικές Εκλογές, Επιβεβαίωση ψήφου, Μυστικότητα ψήφου, Ακεραιότητα ψήφου, Μη αξιόπιστες πλατφόρμες υποβολής ψήφου

Ναι

1-12

Όχι

28

99

Δεν επιτρέπεται η πρόσβαση στο αρχείο. H πρόσβαση επιτρέπεται μόνο εντός του δικτύου του ΕΚΠΑ.

https://pergamos.lib.uoa.gr/uoa/dl/object/1321476