HEAL DSpace

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

DSpace/Manakin Repository

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

Title: Μοντελοποίηση και ανάλυση του πρωτοκόλλου OpenID Connect for Verifiable Presentations χρησιμοποιώντας Maude;
Specification and analysis of the OpenID Connect for Verifiable Presentations protocol using Maude
Μοδινός, Όθων; Modinos, Othon
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/63077
http://dx.doi.org/10.26240/heal.ntua.30773

Show full item record

Files in this item

[PDF]
Name: διπλωματική-εργασ ...
Size: 669.6Kb
Format: PDF
View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα Except where otherwise noted, this item's license is described as Αναφορά Δημιουργού - Μη Εμπορική Χρήση - Παρόμοια Διανομή 3.0 Ελλάδα