%0 Journal Article %1 journals/iacr/CanettiH04 %A Canetti, Ran %A Herzog, Jonathan %D 2004 %J IACR Cryptology ePrint Archive %K %P 334 %T Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange). %U http://dblp.uni-trier.de/db/journals/iacr/iacr2004.html#CanettiH04 %V 2004

@article{journals/iacr/CanettiH04, added-at = {2023-12-12T23:30:53.000+0100}, author = {Canetti, Ran and Herzog, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/2f17b4999d30eb086d927550a958a8076/admin}, ee = {http://eprint.iacr.org/2004/334}, interhash = {56bad16e7f10887e6e1c04e87a3bfa11}, intrahash = {f17b4999d30eb086d927550a958a8076}, journal = {IACR Cryptology ePrint Archive}, keywords = {}, pages = 334, timestamp = {2023-12-12T23:30:53.000+0100}, title = {Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange).}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2004.html#CanettiH04}, volume = 2004, year = 2004 }