%0 Conference Paper %1 conf/tcc/CanettiH06 %A Canetti, Ran %A Herzog, Jonathan %B TCC %D 2006 %E Halevi, Shai %E Rabin, Tal %I Springer %K dblp %P 380-403 %T Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols. %U http://dblp.uni-trier.de/db/conf/tcc/tcc2006.html#CanettiH06 %V 3876 %@ 3-540-32731-2

@inproceedings{conf/tcc/CanettiH06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Canetti, Ran and Herzog, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/27fe50a787d15e7cf35563f97a4f9dfeb/dblp}, booktitle = {TCC}, crossref = {conf/tcc/2006}, editor = {Halevi, Shai and Rabin, Tal}, ee = {https://doi.org/10.1007/11681878_20}, interhash = {015dab753166ac0e60a52c969a6ab64e}, intrahash = {7fe50a787d15e7cf35563f97a4f9dfeb}, isbn = {3-540-32731-2}, keywords = {dblp}, pages = {380-403}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:54:27.000+0200}, title = {Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.}, url = {http://dblp.uni-trier.de/db/conf/tcc/tcc2006.html#CanettiH06}, volume = 3876, year = 2006 }