Symbolic Analysis of Identity-Based Protocols

Download
Full text (accepted version) (PDF, 454.4Kb)
Thumbnail
Open access
Author
Basin, Davidcc
Hirschi, Luccacc
Sasse, Ralfcc
Date
2019
Type
    Conference Paper
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000344054
Publication status
published
External links
Editor
Guttman, Joshua D.
Landwehr, Carl E.
Meseguer, José
Pavlovic, Dusko
Book title
Foundations of Security, Protocols, and Equational Reasoning. Essays Dedicated to Catherine A. Meadows
Journal / series
Lecture Notes in Computer Science
Volume
11565
Pages / Article No.
112 - 134
Publisher
Springer
Event
Catherine Meadows Festschrift Symposium (2019), Fredericksburg, VA, USA, May 22–23, 2019
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics