POR for Security Protocol Equivalences: Beyond Action-Determinism

Thumbnail
Metadata only
Author
Baelde, David
Delaune, Stéphanie
Hirschi, Luccacc
Date
2018
Type
    Conference Paper
Publication status
published
External links
Editor
Lopez, Javier
Zhou, Jianying
Soriano, Miguel
Book title
Computer Security: 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part 1
Journal / series
Lecture Notes in Computer Science
Volume
11098
Pages / Article No.
385 - 405
Publisher
Springer
Event
23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics