SSI, from Specifications to Protocol? Formally Verify Security!: Unterschied zwischen den Versionen
Aus Aifbportal
Ik1533 (Diskussion | Beiträge) |
Ik1533 (Diskussion | Beiträge) |
(kein Unterschied)
| |
Aktuelle Version vom 27. Mai 2024, 09:50 Uhr
SSI, from Specifications to Protocol? Formally Verify Security!
SSI, from Specifications to Protocol? Formally Verify Security!
Published: 2024
Mai
Buchtitel: Proceedings of the ACM Web Conference 2024, WWW 2024
Seiten: 1620–1631
Verlag: ACM
Referierte Veröffentlichung
BibTeX
DOI Link: 10.1145/3589334.3645426
Projekt
Forschungsgruppe
Forschungsgebiet
Semantische Technologien, Vernetzte Daten, Sicherheit, Semantic Web, Blockchain, Solid