Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

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.

Provided by: ETH Zurich Topic: Software Date Added: Jan 2011 Format: PDF

Find By Topic