Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17511
Title: | Ανάλυση Πρωτοκόλλων Ηλεκτρονικής Ψηφοφορίας με την ProVerif |
Authors: | Χίου, Χρυσόστομος Παπασπύρου Νικόλαος |
Keywords: | κρυπτογραφία ηλεκτρονική ψηφοφορία εφαρμοσμένος π-λογισμός ProVerif αυτόματη ανάλυση τυπικές μέθοδοι |
Issue Date: | 10-Feb-2020 |
Abstract: | Σκοπός της παρούσας εργασίας είναι η μελέτη ιδιοτήτων ασφαλείας κρυπτογραφικών πρωτοκόλλων μέσω τυπικών μεθόδων και εργαλείων αυτόματης ανάλυσης. Πιο συγκεκριμένα, θα εξετάσουμε τον Εφαρμοσμένο π-Λογισμό και το εργαλείο αυτόματης ανάλυσης ProVerif που βασίζεται σε αυτόν, προκειμένου να μελετήσουμε ιδιότητες ασφαλείας των πρωτοκόλλων ηλεκτρονικής ψηφοφορίας. Επιλέξαμε ένα νέο πρωτόκολλο ηλεκτρονικής ψηφοφορίας που προτάθηκε πρόσφατα στη βιβλιογραφία και επιτυγχάνει ισχυρές ιδιότητες ασφαλείας. Κατασκευάσαμε σενάρια στην ProVerif που μοντελοποιούν το πρωτόκολλο, προκειμένου να αποδείξουμε αυτόματα τις ιδιότητες της ορθότητας και της μυστικότητας της ψήφου. Ελπίζουμε να καταδείξουμε τη χρησιμότητα τέτοιων εργαλείων στην ανάλυση πρωτοκόλλων καθώς και να σκιαγραφήσουμε τους τομείς που θα μπορούσαν κατά τη γνώμη μας να αποτελέσουν αντικείμενο περαιτέρω μελέτης. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17511 |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
διπλωματική_final_Χίου_Χρυσόστομος.pdf | 449.85 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.