Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

Thumbnail
Metadata only
Autor(in)
Dreier, Jannik
Duménil, Charles
Kremer, Steve
Sasse, Ralf
Alle anzeigen
Datum
2017
Typ
    Conference Paper
Publikationsstatus
published
Externe Links
Herausgeber(in)
Maffei, Matteo
Ryan, Mark
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, Proceedings
Zeitschrift / Serie
Lecture Notes in Computer Science
Seiten / Artikelnummer
117 - 140
Verlag
Springer
Konferenz
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
Organisationseinheit
03634 - Basin, David / Basin, David  
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics