Cryptology ePrint Archive: Report 2006/058
Available versions in chronological order
20060215:220116 (posted 15-Feb-2006 22:01:16 UTC)
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Michael Backes and Sebastian Mödersheim and Birgit Pfitzmann and Luca Viganò
Publication Info: Extended report of a conference paper appearing at Proceedings of FOSSACS 2006.
[
Cryptology ePrint archive
]