Proofs of knowledge for non-monotone discrete-log formulae and applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2433, Issue , 2002, Pages 272-288

  Bresson, Emmanuel ^a   Stern, Jacques ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EXPONENTIATIONS; GENERAL CLASS; GROUP SIGNATURES; LOGICAL OPERATORS; MODULAR EXPONENTIATIONS; NON LINEAR;

NETWORK SECURITY;

EID: 84945309966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45811-5_21     Document Type: Conference Paper

References (28)

1. G. Ateniese, J. Camenisch, M. Joye, and G. Tsudik. A practical and provably secure coalition-resistant group signature scheme. In M. Bellare, editor, Proc. of Crypto ’00, volume 1880 of LNCS, pages 255–270. Springer-Verlag, August 2000.
2. M. Bellare and P. Rogaway. Random oracles are practical: a paradigm for designing efficient protocols. In Proc. of ACM CCS ’93, pages 62–73. ACM Press, November 1993.
3. S. A. Brands. Untraceable off-line cash in wallets with observers. In D. R. Stinson, editor, Proc. of Crypto ’93, volume 773 of LNCS, pages 302–318. Springer-Verlag, August 1994.
4. S. A. Brands. Rapid demonstration oflinear relations connected by boolean operators. In W. Fumy, editor, Proc. of Eurocrypt ’97, volume 1233 of LNCS, pages 318–333. Springer-Verlag, May 1997.
5. G. Brassard and C. Crépeau. Non transitive transfer of confidence: a perfect zeroknowledge interactive protocol for SAT and beyond. In Proc. of FOCS ’86, pages 188–195. IEEE Press, October 1986.
6. E. Bresson and J. Stern. Efficient revocation in group signatures. In K. Kim, editor, Proc. of PKC ’01, volume 1992 of LNCS, pages 190–206. Springer-Verlag, February 2001.
7. J. Camenisch. Group Signature Schemes and Payment Systems Based on the Discrete Logarithm Problem. PhD thesis, ETH Z¨urich, 1998.
8. J. Camenisch and M. Michels. A group signature scheme with improved efficiency. In K. Ohta and D. Pei, editors, Proc. of Asiacrypt ’98, volume 1514 of LNCS, pages 160–174. Springer-Verlag, October 1999.
9. J. Camenisch and M. Michels. Separability and efficiency for generic group signature schemes. In M. Wiener, editor, Proc. of Crypto ’99, volume 1666 of LNCS, pages 106–121. Springer-Verlag, August 1999.
10. J. Camenisch and M. Stadler. Efficient group signatures schemes for large groups. In B. Kaliski, editor, Proc. of Crypto ’97, volume 1294 of LNCS, pages 410–424. Springer-Verlag, August 1997.
11. J. Camenisch and M. Stadler. Proofs systems for general statements about discrete logarithms. Technical Report TR 260, ETH Zürich, Zürich, CH, March 1997.
12. R. Canetti and S. Goldwasser. An efficient threshold PKC secure against adaptive CCA. In J. Stern, editor, Proc. of Eurocrypt ’99, volume 1592 of LNCS, pages 90–106. Springer-Verlag, May 1999.
13. D. Chaum. Demonstrating that a public predicate can be satisfied without revealing any information about how. In A. M. Odlyzko, editor, Proc. of Crypto ’86, volume 263 of LNCS, pages 195–199. Springer-Verlag, August 1986.
14. D. Chaum, J. H. Evertse, and J. van de Graaf. An improved protocol for demonstrating possession ofdiscrete logarithms and some generalizations. In D. Chaum and W. L. Price, editors, Proc. of Eurocrypt ’87, volume 304 of LNCS, pages 127–141. Springer-Verlag, May 1987.
15. D. Chaum, J. H. Evertse, J. van de Graaf, and R. Peralta. Demonstrating possession ofa discrete logarithm without revealing it. In A. M. Odlyzko, editor, Proc. of Crypto ’86, volume 263 of LNCS, pages 200–212. Springer-Verlag, August 1986.
16. D. Chaum and E. van Heyst. Group signatures. In D. W. Davies, editor, Proc. of Eurocrypt ’91, volume 547 of LNCS, pages 257–265. Springer-Verlag, May 1992.
17. D. Chaum, E. van Heyst, and B. Pfitzmann. Cryptographically strong undeniable signatures, unconditionally secure for the signer. In J. Feigenbaum, editor, Proc. of Crypto ’91, volume 576 of LNCS, pages 470–484. Springer-Verlag, August 1992.
18. L. Chen and T. P. Pedersen. New group signature schemes. In A. De Santis, editor, Proc. of Eurocrypt ’94, volume 950 of LNCS, pages 171–181. Springer-Verlag, May 1995.
19. R. Cramer, I. B. Damgård, and B. Schoenmakers. Proofs of partial knowledge and simplified design ofwitness hiding protocols. In Y. G. Desmedt, editor, Proc. of Crypto ’94, volume 839 of LNCS, pages 174–187. Springer-Verlag, August 1994.
20. U. Feige, A. Fiat, and A. Shamir. Zero-knowledge proofs of identity. J. of Cryptology, 1(2):77–94, Summer 1988.
21. A. Fiat and A. Shamir. How to prove yourself: Practical solutions to identification and signature problems. In A. M. Odlyzko, editor, Proc. of Crypto ’86, volume 263 of LNCS, pages 186–194. Springer-Verlag, August 1986.
22. Z. Galil, S. Haber, and M. Yung. A private interactive test ofa boolean predicate and minimum-knowledge public key cryptosystem. In Proc. of FOCS ’85, pages 360–371. IEEE Press, October 1985.
23. S. Goldwasser, S. Micali, and C. W. Rackoff. Knowledge complexity ofin teractive proofs. In Proc. of STOC ’85, pages 291–304. ACM Press, May 1985.
24. J. Kilian and E. Petrank. Identity escrow. In H. Krawczyk, editor, Proc. of Crypto ’98, volume 1462 of LNCS, pages 169–185. Springer-Verlag, August 1998.
25. A. De Santis, G. Di Crescenzo, G. Persiano, and M. Yung. On monotone formula closure ofSZK. In Proc. of FOCS ’94, pages 454–465. IEEE Press, November 1994.
26. B. Schoenmakers. Efficient proofs of or. Manuscript, 1993.
27. D. X. Song. Practical forward secure group signature schemes. In P. Samarati, editor, ACM CCS ’01, pages 225–234. ACM Press, November 2001.
28. M. Stadler. Publicly verifiable secret sharing. In U. M. Maurer, editor, Proc. of Eurocrypt ’96, volume 1070 of LNCS, pages 190–199. Springer-Verlag, May 1996.