Private Authentication with Alpha-Beta Privacy
dc.contributor.author | Fernet, Laouen | |
dc.contributor.author | Mödersheim, Sebastian | |
dc.contributor.editor | Roßnagel, Heiko | |
dc.contributor.editor | Schunck, Christian H. | |
dc.contributor.editor | Günther, Jochen | |
dc.date.accessioned | 2023-06-05T08:51:44Z | |
dc.date.available | 2023-06-05T08:51:44Z | |
dc.date.issued | 2023 | |
dc.description.abstract | 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 | en |
dc.identifier.doi | 10.18420/OID2023_05 | |
dc.identifier.isbn | 978-3-88579-729-6 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/41693 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Open Identity Summit 2023 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-335 | |
dc.subject | Privacy | |
dc.subject | Authentication | |
dc.subject | Unlinkability | |
dc.subject | Security Protocols | |
dc.title | Private Authentication with Alpha-Beta Privacy | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 72 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 61 | |
gi.conference.date | 15.-16. June 2023 | |
gi.conference.location | Heilbronn, Germany | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- proceedings-05.pdf
- Größe:
- 180.64 KB
- Format:
- Adobe Portable Document Format