@Proceedings{	  degano.ea:special:2006-b,
  editor	= {Pierpaolo Degano and Luca Vigan\`o},
  language	= {USenglish},
  note		= {In print},
  publisher	= {Springer},
  title		= {Special Issue of the International Journal of Information
		  Security on \emph{Automated Reasoning for Security Protocol
		  Analysis}},
  year		= 2006,
  user		= {lvigano}
}