@InCollection{	  carlos-caleiro:towards:2004,
  address	= {Portugal},
  author	= {Carlos Caleiro, Luca Vigan\`o, David Basin},
  booktitle	= {Proceedings of the Workshop on the Combination of Logics:
		  Theory and Applications (Comblog'04)},
  editor	= {Carnielli, Walter A., Dion{\'\i}sio, F. Miguel, Mateus,
		  Paulo},
  isbn		= {972-99289-0-8},
  language	= {USenglish},
  pages		= {187--196},
  pdf		= {papers/2004/comblog.pdf},
  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
}