The knowledge complexity of interactive proof systems (1989)

by Shafi Goldwasser, Silvio Micali, Charles Rackoff
Venue:SIAM Journal on Computing