The Knowledge Complexity of Interactive Proofsystems (1989)

by S Goldwasser, S Micali, C Rackoff
Venue:SIAM Journal on Computing