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 Wed Apr 24 19:44:58 2024 CEST.