@inproceedings{IACR:conf/tcc/CanettiH06, author = {Ran Canetti and Jonathan Herzog}, title = {Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols}, booktitle = {TCC}, year = {2006}, pages = {380-403}, ee = {http://www.iacr.org/archive/tcc2006/38760381/38760381.pdf}, crossref = {IACR:conf/tcc/2006}, bibsource = {IACR, http://www.iacr.org} } @proceedings{IACR:conf/tcc/2006, editor = {Shai Halevi and Tal Rabin}, title = {Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006, Proceedings}, booktitle = {TCC}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3876}, year = {2006}, isbn = {3-540-32731-2}, ee = {http://www.iacr.org/archive/tcc2006/tcc2006.html}, bibsource = {IACR, http://www.iacr.org} }