@InProceedings{	  cremers:key:2011,
  author	= {Cas J.F. Cremers},
  booktitle	= {ESORICS 2011},
  copyright	= {© Springer},
  copyrighturl	= {http://www.springer.com/computer/communication+networks/book/978-3-642-23821-5}
		  ,
  isbn		= {978-3-642-23821-5},
  language	= {USenglish},
  month		= {September},
  note		= {To appear.},
  pdf		= {papers/2011/Cr2011-IKE.pdf},
  publisher	= {Springer Verlag},
  series	= {LNCS},
  title		= {Key Exchange in IPsec revisited: Formal Analysis of IKEv1
		  and IKEv2 },
  volume	= 6879,
  year		= 2011,
  user		= {bgeiser}
}