%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 %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 = {2023-12-12T17:16:51.000+0100}, author = {Canetti, Ran and Herzog, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/27fe50a787d15e7cf35563f97a4f9dfeb/admin}, 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 = {}, pages = {380-403}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:16:51.000+0100}, 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 }