@Proceedings{	  degano.ea:special:2006,
  editor	= {Pierpaolo Degano and Luca Vigan\`o},
  language	= {USenglish},
  publisher	= {Elsevier Science},
  title		= {Special Issue of Theoretical Computer Science on
		  \emph{Automated Reasoning for Security Protocol Analysis},
		  volume 367, numbers 1 and 2},
  year		= 2006,
  user		= {lvigano}
}