%0 Journal Article %1 abadi2002reconciling %A Abadi, M. %A Rogaway, P. %D 2002 %I Springer %J Journal of cryptology %K computational cryptography dolev-yao reconciling soundness views %N 2 %P 103--127 %T Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)* %U http://www.springerlink.com/content/q5jt65hx0u90rkae/ %V 15

@article{abadi2002reconciling, added-at = {2010-08-23T11:20:34.000+0200}, author = {Abadi, M. and Rogaway, P.}, biburl = {https://www.bibsonomy.org/bibtex/2818e5417cd41927b11dc5fc4241fcc52/dirkachenbach}, interhash = {81d5bf61fcfcc3b4ceeca47fcbe35a13}, intrahash = {818e5417cd41927b11dc5fc4241fcc52}, journal = {Journal of cryptology}, keywords = {computational cryptography dolev-yao reconciling soundness views}, number = 2, pages = {103--127}, publisher = {Springer}, timestamp = {2010-08-23T11:20:34.000+0200}, title = {{Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)*}}, url = {http://www.springerlink.com/content/q5jt65hx0u90rkae/}, volume = 15, year = 2002 }