A Formal Model of Identity Mixer

Jan Camenisch; Sebastian Alexander Mödersheim; Dieter Sommer

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

A Formal Model of Identity Mixer

Jan Camenisch, Sebastian Alexander Mödersheim, Dieter Sommer

IBM Research

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

775 Downloads (Orbit)

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 tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol veri- fication tools in the spirit of black-box cryptography models.

Original language	English
Title of host publication	Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems
Number of pages	16
Place of Publication	Heidelberg
Publisher	Springer
Publication date	2010
Pages	198-214
DOIs	https://doi.org/10.1007/978-3-642-15898-8_13
Publication status	Published - 2010
Event	15^th International Workshop on Formal Methods for Industrial Critical Systems - Antwerp, Belgium Duration: 20 Sept 2010 → 21 Sept 2010 Conference number: 15

Conference

Conference	15^th International Workshop on Formal Methods for Industrial Critical Systems
Number	15
Country/Territory	Belgium
City	Antwerp
Period	20/09/2010 → 21/09/2010

Series	Lecture Notes in Computer Science
Number	LNCS 6371

Keywords

Formal Modeling Verification

Access to Document

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

FormalizationFinal published version, 383 KB

http://domino.research.ibm.com/library/cyberdig.nsf/1e4115aea78b6e7c85256b360066f0d4/230ef4c0fdb3180d85257635004d70ea?OpenDocument

OpenUrl availability

Full text

Cite this

@inproceedings{bef7dfeb977549e8a079fc4b56d00577,

title = "A Formal Model of Identity Mixer",

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 tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol veri- fication tools in the spirit of black-box cryptography models.",

keywords = "Formal Modeling Verification",

author = "Jan Camenisch and M{\"o}dersheim, {Sebastian Alexander} and Dieter Sommer",

year = "2010",

doi = "10.1007/978-3-642-15898-8_13",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "LNCS 6371",

pages = "198--214",

booktitle = "Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems",

note = "15<sup>th</sup> International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 ; Conference date: 20-09-2010 Through 21-09-2010",

}

Camenisch, J, Mödersheim, SA & Sommer, D 2010, A Formal Model of Identity Mixer. in Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Springer, Heidelberg, Lecture Notes in Computer Science, no. LNCS 6371, pp. 198-214, 15^th International Workshop on Formal Methods for Industrial Critical Systems, Antwerp, Belgium, 20/09/2010. https://doi.org/10.1007/978-3-642-15898-8_13

A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.
Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg: Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A Formal Model of Identity Mixer

AU - Camenisch, Jan

AU - Mödersheim, Sebastian Alexander

AU - Sommer, Dieter

N1 - Conference code: 15

PY - 2010

Y1 - 2010

N2 - 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 tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol veri- fication tools in the spirit of black-box cryptography models.

AB - 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 tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol veri- fication tools in the spirit of black-box cryptography models.

KW - Formal Modeling Verification

U2 - 10.1007/978-3-642-15898-8_13

DO - 10.1007/978-3-642-15898-8_13

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

SP - 198

EP - 214

BT - Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems

PB - Springer

CY - Heidelberg

T2 - 15<sup>th</sup> International Workshop on Formal Methods for Industrial Critical Systems

Y2 - 20 September 2010 through 21 September 2010

ER -

A Formal Model of Identity Mixer

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this