@misc{cryptoeprint:1999:012,
    author = {Victor Shoup},
    title = {On Formal Models for Secure Key Exchange },
    howpublished = {Cryptology ePrint Archive, Report 1999/012},
    year = {1999},
    url = {http://eprint.iacr.org/1999/012},
}