Interactive proof systems (1989)

by S Goldwasser
Venue:Computational Complexity Theory