Foundations of Group Signatures: Formal Definition, Simplified Requirements and a Construction Based on General Assumptions

Authors: Mihir Bellare, Daniele Micciancio and Bogdan Warinschi

Advances in Cryptology - Eurocrypt 2003. Warsaw, Poland, May 2003. LNCS 2656, Springer, pp. 614-629.

[BibTeX] [Postscript] [PDF]

Abstract: This paper provides theoretical foundations for the group signature primitive. We introduce strong, formal definitions for the core requirements of anonymity and traceability. We then show that these imply the large set of sometimes ambiguous existing informal requirements in the literature, thereby unifying and simplifying the requirements for this primitive. Finally we prove the existence of a construct meeting our definitions based only on the assumption that trapdoor permutations exist.