@misc{cryptoeprint:2004:334,
    author = {Ran Canetti and Jonathan Herzog},
    title = {Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange)},
    howpublished = {Cryptology ePrint Archive, Report 2004/334},
    year = {2004},
    url = {http://eprint.iacr.org/2004/334},
}