Number of items: 2.
Groß, Thomas and Mödersheim, Sebastian
(2011)
Vertical Protocol Composition.
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 Apr 26 00:13:55 2024 CEST.