Logo des Repositoriums
 

Private Authentication with Alpha-Beta Privacy

Kurzanzeige
dc.contributor.authorFernet, Laouen
dc.contributor.authorMödersheim, Sebastian
dc.contributor.editorRoßnagel, Heiko
dc.contributor.editorSchunck, Christian H.
dc.contributor.editorGünther, Jochen
dc.date.accessioned2023-06-05T08:51:44Z
dc.date.available2023-06-05T08:51:44Z
dc.date.issued2023
dc.description.abstractAlpha-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 provideen
dc.identifier.doi10.18420/OID2023_05
dc.identifier.isbn978-3-88579-729-6
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/41693
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofOpen Identity Summit 2023
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-335
dc.subjectPrivacy
dc.subjectAuthentication
dc.subjectUnlinkability
dc.subjectSecurity Protocols
dc.titlePrivate Authentication with Alpha-Beta Privacyen
dc.typeText/Conference Paper
gi.citation.endPage72
gi.citation.publisherPlaceBonn
gi.citation.startPage61
gi.conference.date15.-16. June 2023
gi.conference.locationHeilbronn, Germany
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
proceedings-05.pdf
Größe:
180.64 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P335 - Open Identity Summit 2023