Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal

Χασάπης, Χρίστος; Chasapis, Christos

dc.contributor.author	Χασάπης, Χρίστος	el
dc.contributor.author	Chasapis, Christos	en
dc.date.accessioned	2025-01-28T11:50:58Z
dc.date.available	2025-01-28T11:50:58Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/60992
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.28688
dc.rights	Default License
dc.subject	Τυπικές μέθοδοι	el
dc.subject	Ανάλυση κρυπτογραφικών πρωτοκόλλων	el
dc.subject	Εφαρμοσμένος Π - Λογισμός	el
dc.subject	ProVerif	en
dc.subject	Verifpal	en
dc.subject	Cryptanalysis	en
dc.subject	Formal methods	en
dc.subject	Applied P - Calculus	en
dc.subject	QUIC Handshake Protocol	en
dc.title	Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal	el
dc.title	Cryptographic protocol verification using ProVerif and Verifpal	en
heal.type	bachelorThesis
heal.classification	Μαθηματικά	el
heal.classification	Πληροφορική	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2024-10-01
heal.abstract	Στην παρούσα εργασία μελετάμε τυπικές μεθόδους και εργαλεία που χρησιμοποιούνται στην ανάλυση κρυπτογραφικών πρωτοκόλλων. Στο Κεφάλαιο 2 παρουσιάζουμε τον Εφαρμοσμένο Π - Λογισμό, μια κατάλληλη λογική για να μοντελοποιήσει επικοινωνία μέσω καναλιών και να περιγράψει τις διεργασίες που συμβαίνουν σε ένα πρωτόκολλο. Στα επόμενα δύο Κεφάλαια παρουσιάζουμε δύο εργαλεία αυτόματης ανάλυσης που ο σκοπός τους είναι να επαληθεύουν ιδιότητες ασφαλείας ενός πρωτοκόλλου, την ProVerif που βασίζεται θεωρητικά στον Εφαρμοσμένο Π - Λογισμό, και την Verifpal. Στην συνέχεια ασχολούμαστε με την εφαρμογή αυτών των εργαλείων σε ένα πρωτόκολλο που χρησιμοποιείται ευρέως στο Internet, το QUIC Handshake Protocol, καταλήγοντας στα αποτελέσματα και την σύγκρισή τους.	el
heal.advisorName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Παγουρτζής, Αριστείδης	el
heal.committeeMemberName	Ποτίκας, Πέτρος	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών	el
heal.academicPublisherID	ntua
heal.numberOfPages	65 σ.	el
heal.fullTextAvailability	false
heal.fullTextAvailability	false