International Association for Cryptologic Research
IACR paper details
| Title | Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange) |
|---|---|
| Booktitle | IACR Eprint archive |
| Pages | |
| Year | 2004 |
| URL | http://eprint.iacr.org/2004/334 |
| Author | Ran Canetti |
| Author | Jonathan Herzog |
@misc{eprint-2004-12298,
title={Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange)},
booktitle={IACR Eprint archive},
keywords={foundations / symbolic analysis, formal methods, cryptographic soundness, protocol composition},
url={http://eprint.iacr.org/2004/334},
note={ canetti@watson.ibm.com 13040 received 2 Dec 2004, last revised 14 Sep 2005},
author={Ran Canetti and Jonathan Herzog},
year=2004
}