[Resource Topic] 2006/058: Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Welcome to the resource topic for 2006/058

Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Authors: Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò


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.

ePrint: https://eprint.iacr.org/2006/058

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .