Finite Models in FOL-Based Crypto-Protocol Verification
Pierpaolo Degano;Luca Viganò (Hrsg). Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers. Berlin: Springer 2009 S. 155 - 172 (Lecture Notes in Computer Science)
Erscheinungsjahr: 2009
ISBN/ISSN: 978-3-642-03458-9
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/978-3-642-03459-6_11
| Geprüft | Bibliothek |
