@inproceedings{MCB2010invariants,
  author    = {Simon Meier and
               Cas J. F. Cremers and
               David A. Basin},
  title     = {Strong Invariants for the Efficient Construction of Machine-Checked
               Protocol Security Proofs},
  booktitle     = {Proceedings of the 23rd IEEE Computer Security Foundations
               Symposium, CSF 2010, Edinburgh, United Kingdom, July 17-19,
               2010},
  year      = {2010},
  pages     = {231-245},
  publisher = {IEEE Computer Society},
}