Keyword : interactive proof systems


A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity
Satoshi HADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2004/01/01
Vol. E87-A  No. 1 ; pp. 2-9
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: Fundamental
Keyword: 
interactive proof systemsArthur-Merlin gameszero-knowledgedecisional Diffie-Hellman problem
 Summary | Full Text:PDF

On the Knowledge Complexity of Arthur-Merlin Games
Toshiya ITOH Tatsuhiko KAKIMOTO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/01/25
Vol. E77-A  No. 1 ; pp. 56-64
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
interactive proof systemsknowledge complexityhintstrict oracleround complexity
 Summary | Full Text:PDF