@Article{	  vigano:automated:2006,
  author	= {Luca Vigan\`o},
  copyrighturl	= {http://www.sciencedirect.com},
  journal	= {Electronic Notes in Theoretical Computer Science
		  (Proceedings of the 21st Annual Conference on Mathematical
		  Foundations of Programming Semantics, MFPS XXI)},
  language	= {USenglish},
  pages		= {61--86},
  title		= {Automated Security Protocol Analysis With the AVISPA
		  Tool},
  volume	= 155,
  year		= 2006,
  user		= {lvigano}
}