Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Backes, Michael and Mödersheim, Sebastian and Pfitzmann, Birgit and Vigano, Luca
(2006) Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
In: Proceedings of Foundations of Software Science and Computational Structures (FOSSACS).

[img]
Preview
Text
c37-final-1.pdf - Published Version

Download (466kB) | Preview

Actions

Actions (login required)

View Item View Item