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 Tue Jul 29 22:55:05 2025 CEST.