Designated verifier proofs and their applications

Markus Jakobsson, Kazue Sako, Russell Impagliazzo

研究成果: Conference contribution

620 被引用数 (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
外部発表はい
イベント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
CitySaragossa
Period96/5/1296/5/16

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Designated verifier proofs and their applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル