The Notion of Security for Probabilistic Cryptosystems
Silvio Micali, Charles Rackoff, Bob Sloan · SIAM Journal on Computing · 1988
Three very different formal definitions of security for public-key cryptosystems have been proposed—two by Goldwasser and Micali and one by Yao. We prove all of them to be equivalent. This equivalence provides evidence that the right formalization of the notion of security has been reached.