Foundations of group signatures: Formal definitions, simplified requirements, and a construction based on general assumptions
发表信息
作者
- Mihir Bellare
- Daniele Micciancio
- Bogdan Warinschi
笔记
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 sole assumption that trapdoor permutations exist.
本文为群签名原语提供了理论基础。我们引入了关于匿名性和可追溯性的核心要求的强形式定义。接着，我们展示了这些定义如何暗示文献中大量有时模糊的现有非正式要求，从而统一和简化了对这一原语的要求。最后，我们证明了在仅假设陷门置换（trapdoor permutations）存在的基础上，存在满足我们定义的构造。