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 Mon Jun 30 21:21:39 2025 CEST.