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

by O Goldreich, Y Oren
Venue:Journal of Cryptology