@inproceedings{Cr2011models,
 author = {Cremers, Cas},
 title = {Examining indistinguishability-based security models for key exchange protocols: the case of {CK, CK-HMQV, and eCK}},
 booktitle = {Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security},
 series = {ASIACCS '11},
 year = {2011},
 location = {Hong Kong, China},
 pages = {80--91},
 numpages = {12},
 acmid = {1966925},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {authenticated key exchange, ephemeral-key, key compromise impersonation, matching sessions, partnering, perfect forward secrecy, security models, session-state, weak perfect forward secrecy},
}