Login / Signup
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario.
Michael Backes
Sebastian Mödersheim
Birgit Pfitzmann
Luca Viganò
Published in:
IACR Cryptol. ePrint Arch. (2006)
Keyphrases
</>
data analysis
quantitative analysis
search engine
social networks
key management