@Article{	  caleiro.ea:deconstructing:2005,
  author	= {Carlos Caleiro and Luca Vigan\`o and David Basin},
  copyright	= {Elsevier Science Direct},
  copyrighturl	= {http://www.sciencedirect.com},
  journal	= {Electronic Notes in Theoretical Computer Science
		  (Proceedings of the Workshop on Automated Reasoning for
		  Security Protocol Analysis, ARSPA 2005)},
  language	= {USenglish},
  number	= 1,
  pages		= {3--22},
  title		= {Deconstructing Alice and Bob},
  volume	= 135,
  year		= 2005
}