@Proceedings{	  degano.ea:special:2007,
  editor	= {Pierpaolo Degano and Ralf K\"usters and Luca Vigan\`o and
		  Steve Zdancewic },
  language	= {USenglish},
  note		= {To appear},
  publisher	= {Elsevier Science},
  title		= {Special Issue of Information and Computation on
		  \emph{Automated Reasoning for Security Protocol Analysis}},
  year		= 2007,
  user		= {lvigano}
}