@InProceedings{	  meier10,
  address	= {Los Alamitos, USA},
  author	= {Simon Meier and Cas Cremers and David Basin},
  booktitle	= {23rd IEEE Computer Security Foundations Symposium},
  language	= {USenglish},
  month		= 7,
  pages		= {231--245},
  publisher	= {IEEE Computer Society },
  title		= {Strong Invariants for the Efficient Construction of
		  Machine-Checked Protocol Security Proofs},
  year		= 2010
}