Martín Abadi Phillip Rogaway Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption). 103-127 2002 15 J. Cryptology 2 http://link.springer.de/link/service/journals/00145/contents/01/0014/ db/journals/joc/joc15.html#AbadiR02