David Basin: Modeling and Analyzing Security Protocols with Tamarin, Gebunden
Modeling and Analyzing Security Protocols with Tamarin
Buch
- A Comprehensive Guide
deliverable within 2-3 weeks (if available from supplier)
Current price: EUR 58.66
Shipping
(United States of America): EUR 19.90
- Publisher:
- Springer, 07/2025
- Binding:
- Gebunden
- Language:
- Englisch
- ISBN-13:
- 9783031909351
- Item number:
- 12414229
- Volume:
- 340 Pages
- Weight:
- 674 g
- Format:
- 241 x 160 mm
- Thickness:
- 24 mm
- Release date:
- 28.7.2025
- Series:
- Information Security and Cryptography
- Note
-
Caution: Product is not in German language
Blurb
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.
