CryptoDB
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols
NOTE: imports for ToSC and TCHES are no longer functioning.
Authors: | |
---|---|
Download: | |
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 }