The knowledge-complexity of interactive proof systems (1989)

by S Goldwasser, S Micali, C Rackoff
Venue:Edward Epsen Department of Philosophy University of Pennsylvania 433 Logan Hall