Definitions and properties of zero-knowledge proof systems (1994)

by Oded Goldreich, Yair Oren
Venue:J. Cryptology