Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario