@Proceedings{	  armando.ea:special:2006,
  editor	= {Alessandro Armando and David Basin and Jorge Cuellar and
		  Micha\"el Rusinowitch and Luca Vigan\`o},
  language	= {USenglish},
  publisher	= {Springer Netherlands},
  title		= {Special Issue of the Journal of Automated Reasoning on
		  \emph{Automated Reasoning for Security Protocol Analysis},
		  volume 36, numbers 1 and 2},
  year		= 2006,
  user		= {lvigano}
}