The knowledge complexity of interactive proofs (1985)

by S Goldwasser, S Micali, C Rackoff
Venue:In Proceedings of the 17th Annual ACM Symposium on Theory of Computing