Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Metadata only
Datum
2006Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Foundations of software science and computation structures : 9th international conference : proceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceBand
Seiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics