David Basin: Modeling and Analyzing Security Protocols with Tamarin, Gebunden
Modeling and Analyzing Security Protocols with Tamarin
Buch
- A Comprehensive Guide
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 58,66
- Verlag:
- Springer, 07/2025
- Einband:
- Gebunden
- Sprache:
- Englisch
- ISBN-13:
- 9783031909351
- Artikelnummer:
- 12414229
- Umfang:
- 340 Seiten
- Gewicht:
- 674 g
- Maße:
- 241 x 160 mm
- Stärke:
- 24 mm
- Erscheinungstermin:
- 28.7.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
Foreword.- Introduction.- An Example.- Modeling Foundations.- Modeling State Machines.- Specifying Trace Properties in Tamarin.- Using Tamarin.- Built-in Equational Theories.- Pre-computation and Deconstructions.- Lemma Annotations.- Basic Modeling.- Common Workflows.- Case Study: 5G-AKA.- Observational Equivalence.- User-Specified Equational Theories.- Advanced modeling of primitives.- Reducing Proof-Construction Time.- Analyzing Protocol Families.- Impact in Practice.
Biografie (David Basin)
Prof. Dr. David Basin is the Chair of Information Security at ETH Zürich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems.
David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse
Modeling and Analyzing Security Protocols with Tamarin
Aktueller Preis: EUR 58,66
