Fast and secure immunization against adaptive man-in-the-middle impersonation

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

Volumn 1233, Issue , 1997, Pages 75-87

  Cramer, Ronald ^a   Damgård, Ivan ^b  

^a ETH ZURICH   (Switzerland)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

DISCRETE LOGARITHMS; GENERAL CLASS; IDENTIFICATION SCHEME; IMPERSONATION ATTACK; MAN IN THE MIDDLE; MAN IN THE MIDDLE ATTACKS; SIMPLE METHOD; ZERO KNOWLEDGE;

ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS;

EID: 33746075784     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69053-0_7     Document Type: Conference Paper

References (18)

1. M. Abadi, E. Allender, A. Broder, J. Feigenbaum and L. Hemachandra: On Generating Solved Instances of Computational Problems, Proceedings of Crypto’88, Springer Verlag LNCS, vol. 403, pp. 297-310.
2. L. Babai and S. Moran: Arthur-Merlin Games: A Randomized Proof System and a Hierarchy of Complexity Classes, JCSS, vol. 36, pp. 254-276, 1988.
3. M. Bellare and O. Goldreich: On Defining Proofs of Knowledge, Proceedings of Crypto’92, Springer Verlag LNCS, vol. 740, pp. 390-420.
4. S. Bengio, G. Brassard, Y. Desmedt, C. Goutier and J.J. Quisquater: Secure. Implementation of Identification Systems, Journal of Cryptology, 1991 (4): 175-183.
5. D. Chaum: Provers Can Limit the Number of Verifiers, unpublished.
6. R. Cramer and I. Damgard: Secure Signature Schemes based on Interactive Protocols, Proceedings of Crypto’95, Springer Verlag LNCS, vol. 963, pp. 297-310.
7. R. Cramer, I. Damgard and B. Schoenmakers: Proofs of Partial Knowledge and Simplified Design of Witness Hiding Protocols, Proceedings of Crypto’94, Springer verlag LNCS, vol. 839, pp. 174-187.
8. D. Dolev, C. Dwork and M. Naor: Non-malleable cryptoqraphy, Proceedings of STOC’91, pp. 542-552.
9. A. Fiat and A. Shamir: How to Prove Yourself: Practical Solutions to Identification and Signature Problems, Proceedings of Crypto’86, Springer Verlag LNCS, vol. 263, pp. 186-194
10. U. Feige, A. Shamir: Witness Indistinguishable and Witness Hiding Protocols, Proceedings of STOC’90, pp. 416-426.
11. U. Feige, A. Fiat and A. Shamir: Zero-Knowledge Proofs of Identity, Journal of Cryptology 1 (1988) 77-94.
12. U. Feige and A. Shamir: Zero-Knowledge Proofs of Knowledge in Two Rounds, Proceedings of Crypto’89, Springer Verlag LNCS, vol. 435, pp. 526-544.
13. S. Goldwasser, S. Micali and C. Rackoff: The Knowledge Complexity of Interactive Proof Systems, SIAM J. Computing, Vol. 18, pp. 186-208, 1989.
14. Efficient Identification Schemes Secure against Impersonation and Man-in-the-Middle Attacks, preprint, October 1995.
15. L. Guillou, J.J. Quisquater: A Practical Zero-Knowledge Protocol fitted to Security Microprocessor Minimizing both Transmission and Memory, Proceedings of Eurocrypt’88, Springer Verlag LNCS, vol. 330, pp. 123-128.
16. M. Jacobson, R. Impagliazzo and K. Sako: Designated Verifier Proofs and their Applications, Proc. of Eurocrypt’96, Springer Verlag LNCS, vol. 1070, pp. 143-154.
17. T. Okamoto: Provably Secure and Practical Identification Schemes and Corresponding Signature Schemes, Proceedings of Crypto’92, Springer Verlag LNCS, vol. 740, pp. 31-53.
18. C. P. Schnorr: Efficient Signature Generation by Smart Cards, Journal of Cryptology, 4 (3): 161-174, 1991.