Private Authentication with Alpha-Beta Privacy

Fernet, Laouen; Mödersheim, Sebastian

Autor(en):

Zusammenfassung

Alpha-beta privacy is a new approach for security protocols that aims to provide a logical and intuitive way of specifying privacy-type goals. Recently the tool noname was published that can automatically analyze specifications for a bounded number of sessions, but ships only with a few simple examples. This paper models two more complicated case studies, namely the ICAO 9303 BAC and the Privacy Authentication protocol by Abadi and Fournet, and applies the noname tool to analyze them, reproducing known vulnerabilities and verifying the corresponding fixes, as well as providing a better understanding of the privacy properties they provide

Vollständige Referenz
BibTeX

Fernet, L. & Mödersheim, S., (2023). Private Authentication with Alpha-Beta Privacy. In: Roßnagel, H., Schunck, C. H. & Günther, J. (Hrsg.), Open Identity Summit 2023. Gesellschaft für Informatik e.V.. DOI: 10.18420/OID2023_05

@inproceedings{mci/Fernet2023,
author = {Fernet, Laouen AND Mödersheim, Sebastian},
title = {Private Authentication with Alpha-Beta Privacy},
booktitle = {Open Identity Summit 2023},
year = {2023},
editor = {Roßnagel, Heiko AND Schunck, Christian H. AND Günther, Jochen} ,
doi = { 10.18420/OID2023_05 },
publisher = {Gesellschaft für Informatik e.V.},
address = {}
}

	Dateien	Groesse	Format	Anzeige
	proceedings-05.pdf	180.6Kb	PDF	Öffnen

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.18420/OID2023_05

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken