@InProceedings{	  meier.ea:strong:2010,
  address	= {Los Alamitos, USA},
  author	= {Simon Meier and Cas Cremers and David Basin},
  booktitle	= {CSF 2010},
  language	= {USenglish},
  month		= 7,
  pages		= {231--245},
  pdf		= {papers/2010/strong-invariants.pdf},
  publisher	= {IEEE Computer Society },
  title		= {Strong Invariants for the Efficient Construction of
		  Machine-Checked Protocol Security Proofs},
  year		= 2010,
  user		= {bgeiser}
}