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 Sat Apr 27 04:29:07 2024 CEST.