@Unpublished{	  cremers:formally:2009,
  author	= {Cas J.F. Cremers},
  language	= {USenglish},
  month		= {June},
  title		= {Formally and Practically Relating the CK, CK-HMQV, and eCK
		  Security Models for Authenticated Key Exchange},
  url		= {http://eprint.iacr.org/2009/253},
  year		= 2009,
  user		= {cremersc}
}