Μοντελοποίηση και ανάλυση του πρωτοκόλλου OpenID Connect for Verifiable Presentations χρησιμοποιώντας Maude

Μοδινός, Όθων; Modinos, Othon

dc.contributor.author	Μοδινός, Όθων	el
dc.contributor.author	Modinos, Othon	en
dc.date.accessioned	2025-12-16T11:36:26Z
dc.date.available	2025-12-16T11:36:26Z
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/63077
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.30773
dc.rights	Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/3.0/gr/	*
dc.subject	Formal specification	en
dc.subject	Formal verification	en
dc.subject	Verifiable credentials	en
dc.subject	Openid connect	en
dc.subject	Τυπικές μέθοδοι	el
dc.subject	Επαληθεύσιμα διαπιστευτήρια	el
dc.subject	Ασφάλεια	el
dc.subject	Security	en
dc.subject	Ανάλυση	el
dc.subject	Μοντελοποίηση	el
dc.title	Μοντελοποίηση και ανάλυση του πρωτοκόλλου OpenID Connect for Verifiable Presentations χρησιμοποιώντας Maude	el
dc.title	Specification and analysis of the OpenID Connect for Verifiable Presentations protocol using Maude	en
heal.type	bachelorThesis
heal.classification	Computer science	en
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2025-03-06
heal.abstract	Η γεωγραφία της ψηφιακής ταυτότητας αλλάζει ταχέως προσθέτοντας περισσότερη εστίαση στη δημιουργία ασφαλών αποτελεσμάτων. Τα συμβατικά λειτουργικά συστήματα ταυτότητας λειτουργούν συχνά με συγκεντρωτικές πραγματικότητες, οι οποίες δημιουργούν σημαντικά ζητήματα που σχετίζονται με την ιδιωτικότητα, την ασφάλεια και τον έλεγχο. Ανάμεσα σε όλες αυτές τις προόδους, υπάρχει ένα νέο, υποσχόμενο εργαλείο: το OIDC4VP, το πρωτόκολλο για επαληθεύσιμα διαπιστευτήριά του OpenID Connect. Το OIDC4VP λειτουργεί και επεκτείνει το πολυσυζητημένο πρωτόκολλο OpenID Connect (OIDC) για να ενσωματώσει επαληθεύσιμα διαπιστευτήρια στο πλαίσιό του και να βελτιώσει την ασφάλεια για την επαλήθευση ψηφιακής ταυτότητας. Σε αυτή την εργασία θα αναλύσουμε το προτόκολο αυτό με την χρήση τυπικών μεθόδων μέσω του εργαλείου Maude για να διαπιστωθεί η ασφάλεια του και θα σχολιάσουμε πιθανές διορθώσεις και επεκτάσεις.	el
heal.advisorName	Stefaneas, Petros	en
heal.committeeMemberName	Theodonis, Ioannis	en
heal.committeeMemberName	Potikas, Petros	en
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών	el
heal.academicPublisherID	ntua
heal.fullTextAvailability	false