Number of items: 1.
Conference or Workshop Item (A Paper)
Backes, Michael and Mödersheim, Sebastian and Pfitzmann, Birgit and Vigano, Luca
(2006)
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
This list was generated on Sat May 31 11:31:19 2025 CEST.