@Proceedings{	  armando.ea:proceedings:2005,
  address	= {Amsterdam, The Netherlands},
  copyrighturl	= {http://www.sciencedirect.com/science/article/pii/S1571066105000691},
  editor	= {Alessandro Armando and Luca Vigan\`o},
  language	= {USenglish},
  publisher	= {Electronic Notes in Theoretical Computer Science 125
		  (Elsevier Science Direct)},
  title		= {Proceedings of the Workshop on Automated Reasoning for
		  Security Protocol Analysis (ARSPA 2004)},
  year		= 2005,
  user		= {lvigano}
}