Private Authentication with Alpha-Beta Privacy

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

80 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the Open Identity Summit 2023
PublisherGesellschaft für Informatik e.V.
Publication date2023
Pages61-72
ISBN (Print)978-3-88579-729-6
DOIs
Publication statusPublished - 2023
EventOpen Identity Summit 2023 - Heilbronn , Germany
Duration: 15 Jun 202316 Jun 2023

Conference

ConferenceOpen Identity Summit 2023
Country/TerritoryGermany
CityHeilbronn
Period15/06/202316/06/2023

Keywords

  • Privacy
  • Authentication
  • Unlinkability
  • Security Protocols

Fingerprint

Dive into the research topics of 'Private Authentication with Alpha-Beta Privacy'. Together they form a unique fingerprint.

Cite this