Another look at "provable security". II
Neal Koblitz and Alfred Menezes
Progress in Cryptology - Indocrypt 2006, Lecture Notes in Computer Science, 4329 (2006), 148-175.
We discuss the question of how to interpret reduction arguments
in cryptography. We give some examples to show the subtlety
and difficulty of this question.
Proceedings paper Eprint paper
Spanish translation by Francisco Rodríguez-Henríquez