POR for Security Protocol Equivalences: Beyond Action-Determinism

Metadata only

Autor(in)

Datum

2018

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part 1

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

11098

Seiten / Artikelnummer

385 - 405

Verlag

Springer

Konferenz

23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018

Organisationseinheit

03634 - Basin, David / Basin, David

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection