The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract (1985)

by Shafi Goldwasser, Silvio Micali, Charles Rackoff
Venue:In 17th ACM STOC