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 Fri May 9 12:58:37 2025 CEST.