@misc{cryptoeprint:2001:040,
    author = {Ran Canetti and Hugo Krawczyk},
    title = {Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels},
    howpublished = {Cryptology ePrint Archive, Report 2001/040},
    year = {2001},
    url = {http://eprint.iacr.org/2001/040},
}