Divertible and subliminal-free zero-knowledge proofs for languages

Divertible proofs are extensions of interactive proofs in which an active eavesdropper, the warden, makes the prover and the verifier untraceable. The warden is transparent to both the prover and the verifier. With subliminal-free proofs the warden controls subliminal messages. In this paper we pres...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of cryptology Vol. 12; no. 3; pp. 197 - 223
Main Authors:	BURMESTER, M, DESMEDT, Y. G, ITOH, T, SAKURAI, K, SHIZUYA, H
Format:	Journal Article
Language:	English
Published:	New York, NY Springer 1999 Springer Nature B.V
Subjects:	Applied sciences Cryptography Exact sciences and technology Information, signal and communications theory Isomorphism Languages Signal and communications theory Telecommunications and information theory Isomorphism Program proof Identification Cryptography Eavesdropping
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Divertible proofs are extensions of interactive proofs in which an active eavesdropper, the warden, makes the prover and the verifier untraceable. The warden is transparent to both the prover and the verifier. With subliminal-free proofs the warden controls subliminal messages. In this paper we present divertible and subliminal-free zero-knowledge proofs for various languages. We consider both graph isomorphism and
ISSN:	0933-2790 1432-1378
DOI:	10.1007/s001459900053