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

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

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

Τίτλος: Μοντελοποίηση και ανάλυση του πρωτοκόλλου 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

Εμφάνιση πλήρους εγγραφής