Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption).

Martín Abadi Phillip Rogaway Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). 395 2007 20 J. Cryptology 3 http://dx.doi.org/10.1007/s00145-007-0203-0 db/journals/joc/joc20.html#AbadiR07