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 Oct 11 15:47:20 2024 CEST.