Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17511
Τίτλος: | Ανάλυση Πρωτοκόλλων Ηλεκτρονικής Ψηφοφορίας με την ProVerif |
Συγγραφείς: | Χίου, Χρυσόστομος Παπασπύρου Νικόλαος |
Λέξεις κλειδιά: | κρυπτογραφία ηλεκτρονική ψηφοφορία εφαρμοσμένος π-λογισμός ProVerif αυτόματη ανάλυση τυπικές μέθοδοι |
Ημερομηνία έκδοσης: | 10-Φεβ-2020 |
Περίληψη: | Σκοπός της παρούσας εργασίας είναι η μελέτη ιδιοτήτων ασφαλείας κρυπτογραφικών πρωτοκόλλων μέσω τυπικών μεθόδων και εργαλείων αυτόματης ανάλυσης. Πιο συγκεκριμένα, θα εξετάσουμε τον Εφαρμοσμένο π-Λογισμό και το εργαλείο αυτόματης ανάλυσης ProVerif που βασίζεται σε αυτόν, προκειμένου να μελετήσουμε ιδιότητες ασφαλείας των πρωτοκόλλων ηλεκτρονικής ψηφοφορίας. Επιλέξαμε ένα νέο πρωτόκολλο ηλεκτρονικής ψηφοφορίας που προτάθηκε πρόσφατα στη βιβλιογραφία και επιτυγχάνει ισχυρές ιδιότητες ασφαλείας. Κατασκευάσαμε σενάρια στην ProVerif που μοντελοποιούν το πρωτόκολλο, προκειμένου να αποδείξουμε αυτόματα τις ιδιότητες της ορθότητας και της μυστικότητας της ψήφου. Ελπίζουμε να καταδείξουμε τη χρησιμότητα τέτοιων εργαλείων στην ανάλυση πρωτοκόλλων καθώς και να σκιαγραφήσουμε τους τομείς που θα μπορούσαν κατά τη γνώμη μας να αποτελέσουν αντικείμενο περαιτέρω μελέτης. |
URI: | http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17511 |
Εμφανίζεται στις συλλογές: | Διπλωματικές Εργασίες - Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Περιγραφή | Μέγεθος | Μορφότυπος | |
---|---|---|---|---|
διπλωματική_final_Χίου_Χρυσόστομος.pdf | 449.85 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.