@InProceedings{	  cremers:examining:2011,
  address	= {New York, NY, USA},
  author	= {Cas J.F. Cremers},
  booktitle	= {ASIACCS 2011},
  filelabel	= {http://doi.acm.org/10.1145/1966913.1966925},
  isbn		= {978-1-4503-0564-8},
  language	= {USenglish},
  pages		= {80--91},
  pdf		= {papers/2011/p80-cremers.pdf},
  publisher	= {ACM},
  title		= {Examining Indistinguishability-Based Security Models for
		  Key Exchange Protocols: The case of CK, CK-HMQV, and eCK},
  url		= {http://doi.acm.org/10.1145/1966913.1966925},
  year		= 2011,
  user		= {bgeiser}
}