Ανάλυση πρωτοκόλλων ηλεκτρονικής ψηφοφορίας με την ProVerif

Χίου, Χρυσόστομος; Chiou, Chrysostomos

dc.contributor.author	Χίου, Χρυσόστομος	el
dc.contributor.author	Chiou, Chrysostomos	en
dc.date.accessioned	2020-09-22T08:55:17Z
dc.date.available	2020-09-22T08:55:17Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/51118
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.18816
dc.rights	Αναφορά Δημιουργού - Παρόμοια Διανομή 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-sa/3.0/gr/	*
dc.subject	Ηλεκτρονική ψηφοφορία	el
dc.subject	Εφαρμοσμένος π-λογισμός	el
dc.subject	Αυτόματη ανάλυση	el
dc.subject	Τυπικές μέθοδοι	el
dc.subject	Επαλήθευση πρωτοκόλλων	el
dc.subject	Electronic voting	en
dc.subject	Applied pi-calculus	en
dc.subject	Protocol verification	en
dc.subject	ProVerif	el
dc.subject	Formal methods	el
dc.title	Ανάλυση πρωτοκόλλων ηλεκτρονικής ψηφοφορίας με την ProVerif	el
heal.type	bachelorThesis
heal.classification	Κρυπτογραφία	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2020-02-06
heal.abstract	Σκοπός της παρούσας εργασίας είναι η μελέτη ιδιοτήτων ασφαλείας κρυπτογραφικών πρωτοκόλλων μέσω τυπικών μεθόδων και εργαλείων αυτόματης ανάλυσης. Πιο συγκεκριμένα, θα εξετάσουμε τον Εφαρμοσμένο π-Λογισμό και το εργαλείο αυτόματης ανάλυσης ProVerif που βασίζεται σε αυτόν, προκειμένου να μελετήσουμε ιδιότητες ασφαλείας των πρωτοκόλλων ηλεκτρονικής ψηφοφορίας. Επιλέξαμε ένα νέο πρωτόκολλο ηλεκτρονικής ψηφοφορίας που προτάθηκε πρόσφατα στη βιβλιογραφία και επιτυγχάνει ισχυρές ιδιότητες ασφαλείας. Κατασκευάσαμε σενάρια στην ProVerif που μοντελοποιούν το πρωτόκολλο, προκειμένου να αποδείξουμε αυτόματα τις ιδιότητες της ορθότητας και της μυστικότητας της ψήφου. Ελπίζουμε να καταδείξουμε τη χρησιμότητα τέτοιων εργαλείων στην ανάλυση πρωτοκόλλων καθώς και να σκιαγραφήσουμε τους τομείς που θα μπορούσαν κατά τη γνώμη μας να αποτελέσουν αντικείμενο περαιτέρω μελέτης.	el
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	80 σ.
heal.fullTextAvailability	false