@TechReport{	  backes.ea:symbolic:2006-b,
  abstract	= { Web services are an important series of industry
		  standards for adding semantics to web-based and XML-based
		  communication, in particular among enterprises. Like the
		  entire series, the security standards and proposals are
		  highly modular. Combinations of several standards are put
		  together for testing as interoperability scenarios, and
		  these scenarios are likely to evolve into industry best
		  practices. In the terminology of security research, the
		  interoperability scenarios correspond to security
		  protocols. Hence, it is desirable to analyze them for
		  security. In this paper, we analyze the security of the new
		  Secure WS-ReliableMessaging Scenario, the first scenario to
		  combine security elements with elements of another
		  quality-of-service standard. We do this both symbolically
		  and cryptographically. The results of both analyses are
		  positive. The discussion of actual cryptographic primitives
		  of web services security is a novelty of independent
		  interest in this paper.},
  author	= {Michael Backes and Sebastian M\"{o}dersheim and Birgit
		  Pfitzmann and Luca Vigan\`{o}},
  institution	= {Department of Computer Science, ETH Zurich},
  language	= {USenglish},
  number	= 502,
  pdf		= {papers/2006/WS-ReliableMessaging.pdf},
  title		= {Symbolic and Cryptographic Analysis of the Secure
		  WS-ReliableMessaging Scenario (extended version)},
  year		= 2006,
  user		= {lvigano}
}