@InBook{BCM2011hbmc,
  author	= {David Basin and Cas Cremers and Catherine Meadows},
  booktitle	= {Handbook of Model Checking},
  chapter	= 24,
  editor	= {Edmund Clarke and Tom Henzinger and Helmut Veith},
  language	= {USenglish},
  note		= {To appear.},
  publisher	= {Springer },
  title		= {Model Checking Security Protocols},
  year		= 2011,
}