Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario

Thumbnail
Metadata only
Author
Backes, Michael
Mödersheim, Sebastian
Pfitzmann, Birgit
Viganò, Luca
Show all
Date
2006
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Aceto, Luca
Ingólfsdóttir, Anna
Book title
Foundations of software science and computation structures : 9th international conference : proceedings
Journal / series
Lecture Notes in Computer Science
Volume
3921
Pages / Article No.
428 - 445
Publisher
Springer
Event
9th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2006), Vienna, Austria, March 25-31, 2006
Organisational unit
03634 - Basin, David / Basin, David  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics