@InProceedings{	  backes.ea:symbolic:2006,
  author	= {Michael Backes and Sebastian M{\"o}dersheim and Birgit
		  Pfitzmann and Luca Vigan{\`o}},
  booktitle	= {Proceedings of FOSSACS 2006},
  language	= {USenglish},
  pages		= {428--445},
  publisher	= {Springer-Verlag},
  series	= {LNCS},
  title		= {Symbolic and Cryptographic Analysis of the Secure
		  WS-ReliableMessaging Scenario},
  volume	= 3921,
  year		= 2006,
  user		= {lvigano}
}