Proving Authentication Properties in the Protocol Derivation Assistant
Matthias Anlauff, Dusko Pavlovic, Richard Waldinger and Stephen Westfold infobook title | Proceedings of FCS-ARSPA 2006 |
editor | Pierpaolo Degano and Ralph Küsters and Luca Vigano |
publisher | ACM |
year | 2006 |
links
BibTeX
Link (pdf)
related pages
|
