@InCollection{	  avispa05.bib,
  abstract	= {AVISPA is a push-button tool for the automated validation
		  of Internet security-sensitive protocols and applications.
		  It provides a modular and expressive formal language for
		  specifying protocols and their security properties, and
		  integrates different back-ends that implement a variety of
		  state-of-the-art automatic analysis techniques. To the best
		  of our knowledge, no other tool exhibits the same level of
		  scope and robustness while enjoying the same performance
		  and scalability.},
  author	= {Alessandro Armando and David Basin and Yohan Boichut
		  and Yannick Chevalier and Luca Compagna and Jorge
		  Cuellar and Drielsma, Paul Hankes and Pierre-Cyrille
		  He\'am and Olga Kouchnarenko and Jacopo Mantovani and
		  Sebastian M{\"o}dersheim and von Oheimb, David and
		  Michael Rusinowitch and Judson Santiago and Mathieu
		  Turuani and Luca Vigan{\`o} and Laurent Vigneron},
  booktitle	= {Proceedings of CAV'2005},
  copyright	= {Springer-Verlag},
  pages		= {281--285},
  pdf		= {papers/2005/avispa-cav.pdf},
  publisher	= {Springer-Verlag},
  series	= {LNCS 3576},
  title		= {The {AVISPA} Tool for the Automated Validation of Internet
		  Security Protocols and Applications},
  year		= 2005
}