Number of items: 2.
Conference or Workshop Item (A Paper)
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 Wed Jan 29 03:39:30 2025 CET.