@InCollection{	  caleiro.ea:towards:2004,
  address	= {Portugal},
  author	= {Carlos Caleiro and Luca Vigan\`o and David Basin},
  booktitle	= {Proceedings of the Workshop on the Combination of Logics:
		  Theory and Applications (Comblog'04)},
  editor	= {Walter A. Carnielli and F. Miguel Dion{\'\i}sio and Paulo
		  Mateus},
  isbn		= {972-99289-0-8},
  language	= {USenglish},
  pages		= {187--196},
  publisher	= {Center for Logic and Computation, Departamento de
		  Matem\'atica, Instituto Superior T\'ecnico, Lisbon },
  title		= {Towards a Metalogic for Security Protocol Analysis},
  year		= 2004,
  user		= {lvigano}
}