Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.

Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan

Browse the full FOSSACS paper archive.