International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols

Authors:
Ran Canetti
Jonathan Herzog
Download:
DOI: 10.1007/11681878_20
URL: https://iacr.org/archive/tcc2006/38760381/38760381.pdf
Search ePrint
Search Google
Conference: TCC 2006
BibTeX
@inproceedings{tcc-2006-3606,
  title={Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols},
  booktitle={Theory of Cryptography, Third Theory of Cryptography Conference, TCC 2006},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={3876},
  pages={380-403},
  url={https://iacr.org/archive/tcc2006/38760381/38760381.pdf},
  doi={10.1007/11681878_20},
  author={Ran Canetti and Jonathan Herzog},
  year=2006
}