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