SSI, from Specifications to Protocol? Formally Verify Security!: Unterschied zwischen den Versionen
Aus Aifbportal
Ik1533 (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Braun |ErsterAutorVorname=Christoph }} {{Inproceedings |Referiert=Ja |Title=SSI, from Specifications to Protoco…“) |
Ik1533 (Diskussion | Beiträge) |
||
Zeile 2: | Zeile 2: | ||
|ErsterAutorNachname=Braun | |ErsterAutorNachname=Braun | ||
|ErsterAutorVorname=Christoph | |ErsterAutorVorname=Christoph | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=2 | ||
+ | |Author=Ross Horne | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=3 | ||
+ | |Author=Tobias Käfer | ||
+ | }} | ||
+ | {{Publikation Author | ||
+ | |Rank=4 | ||
+ | |Author=Sjouke Mauw | ||
}} | }} | ||
{{Inproceedings | {{Inproceedings |
Version vom 27. Mai 2024, 09:46 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 on Web Conference 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