A Formal Model of Identity Mixer

  • Jan Camenisch
  • Sebastian Mödersheim
  • Dieter Sommer
Conference paper

DOI: 10.1007/978-3-642-15898-8_13

Volume 6371 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Camenisch J., Mödersheim S., Sommer D. (2010) A Formal Model of Identity Mixer. In: Kowalewski S., Roveri M. (eds) Formal Methods for Industrial Critical Systems. FMICS 2010. Lecture Notes in Computer Science, vol 6371. Springer, Berlin, Heidelberg

Abstract

Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptography models.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jan Camenisch
    • 2
  • Sebastian Mödersheim
    • 1
  • Dieter Sommer
    • 2
  1. 1.DTU InformaticsDenmark
  2. 2.IBM ResearchZurichSwitzerland