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

M Bellare; D Micciancio; B Warinschi

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

M Bellare, D Micciancio, B Warinschi

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

562 Citations (Scopus)

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.

Translated title of the contribution	Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions
Original language	English
Title of host publication	Advances in Cryptology - EUROCRYPT 2003
Publisher	Springer Berlin Heidelberg
Pages	614 - 629
Number of pages	16
Volume	2656
Publication status	Published - May 2003

Bibliographical note

ISBN: 3540140395
Publisher: Springer
Name and Venue of Conference: Advances in Cryptology - EUROCRPYT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, 4-8 May
Conference Organiser: International Association for Cryptographic Research

Access to Document

http://www.springerlink.com/content/hld6wbkmdr4xrea5/

Handle.net

Persistent link

Cite this

@inproceedings{1412f3b6b916465495ceecdb94725f76,

title = "Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions",

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.",

author = "M Bellare and D Micciancio and B Warinschi",

note = "ISBN: 3540140395 Publisher: Springer Name and Venue of Conference: Advances in Cryptology - EUROCRPYT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, 4-8 May Conference Organiser: International Association for Cryptographic Research",

year = "2003",

month = may,

language = "English",

volume = "2656",

pages = "614 -- 629",

booktitle = "Advances in Cryptology - EUROCRYPT 2003",

publisher = "Springer Berlin Heidelberg",

address = "Germany",

}

Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. / Bellare, M; Micciancio, D; Warinschi, B.
Advances in Cryptology - EUROCRYPT 2003. Vol. 2656 Springer Berlin Heidelberg, 2003. p. 614 - 629.

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

TY - GEN

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

AU - Bellare, M

AU - Micciancio, D

AU - Warinschi, B

N1 - ISBN: 3540140395 Publisher: Springer Name and Venue of Conference: Advances in Cryptology - EUROCRPYT 2003: International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, 4-8 May Conference Organiser: International Association for Cryptographic Research

PY - 2003/5

Y1 - 2003/5

N2 - 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.

AB - 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.

M3 - Conference Contribution (Conference Proceeding)

VL - 2656

SP - 614

EP - 629

BT - Advances in Cryptology - EUROCRYPT 2003

PB - Springer Berlin Heidelberg

ER -

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

Abstract

Bibliographical note

Access to Document

Handle.net

Fingerprint

Cite this