Designated verifier proofs and their applications

Markus Jakobsson, Kazue Sako, Russell Impagliazzo

研究成果: Conference contribution

570 引用 (Scopus)

抜粋

For many proofs of knowledge it is important that only the verifier designated by the confirmer can obtain any conviction of the cor- rectness of the proof. A good example of such a situation is for undeniable signatures, where the confirmer of a signature wants to make sure that only the intended verifier(s) in fact can be convinced about the validity or invalidity of the signature. Generally, authentication of messages and off-the-record messages are in conflict with each other. We show how, using designation of verifiers, these notions can be combined, allowing authenticated but privat con- versations to take place. Our solution guarantees that only the specified verifier can be convinced by the proof, even if he shares all his secret information with entities that want to get convinced. Our solution is based on trap-door commitments [4], allowing the desig- nated verifier to open up commitments in any way he wants. We demon- strate how a trap-door commitment scheme can be used to construct designated verifier proofs, both interactive and non-interactive. We ex- amplify the verifier designation method for the confirmation protocol for undeniable signatures.

元の言語English
ホスト出版物のタイトルAdvances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings
編集者Ueli Maurer
出版者Springer Verlag
ページ143-154
ページ数12
ISBN(印刷物)354061186X, 9783540611868
DOI
出版物ステータスPublished - 1996
外部発表Yes
イベント15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996 - Saragossa, Spain
継続期間: 1996 5 121996 5 16

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1070
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Conference

Conference15th International conference on Theory and Application of Cryptographic Techniques, EUROCRYPT 1996
Spain
Saragossa
期間96/5/1296/5/16

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント Designated verifier proofs and their applications' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Jakobsson, M., Sako, K., & Impagliazzo, R. (1996). Designated verifier proofs and their applications. : U. Maurer (版), Advances in Cryptology - EUROCRYPT 1996 - International Conference on the Theory and Application of Cryptographic Techniques, Proceedings (pp. 143-154). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1070). Springer Verlag. https://doi.org/10.1007/3-540-68339-9_13