@InCollection{	  armando.ea:avispa:2005,
  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
		  Paul Hankes Drielsma 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},
  copyrighturl	= {http://www.springerlink.com/app/home/issue.asp?wasp=69271bef0275496db781f8a996f0c71b&referrer=parent&backto=journal,28,2129;browsepublicationsresults,1559,2440;}
		  ,
  language	= {USenglish},
  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,
  user		= {lvigano}
}