Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
Metadata only
Datum
2017Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Principles of Security and Trust: 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, ProceedingsZeitschrift / Serie
Lecture Notes in Computer ScienceSeiten / Artikelnummer
Verlag
SpringerKonferenz
Organisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics