Stage-oe-small.jpg

SSI, from Specifications to Protocol? Formally Verify Security!

Aus Aifbportal
Wechseln zu:Navigation, Suche


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

MANDAT



Forschungsgruppe

Web Science


Forschungsgebiet

Semantische Technologien, Vernetzte Daten, Sicherheit, Semantic Web, Blockchain, Solid