@misc{cryptoeprint:2010:350,
    author = {Vladimir Kolesnikov},
    title = {A Security Enhancement and Proof for Authentication and Key Agreement (AKA)},
    howpublished = {Cryptology ePrint Archive, Report 2010/350},
    year = {2010},
    url = {http://eprint.iacr.org/2010/350},
}