Placeholder text

Go to cart

Modeling and Analyzing Security Protocols with Tamarin

By David Basin

Modeling and Analyzing Security Protocols with Tamarin

By David Basin

0 - Default Title
Description
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.
Product details
Number of Pages:
340
Release Date:
2025-07-28
Publication Date:
2025-07-28
Publisher:
Springer
Languages:
Original: English
ISBN10:
3031909356
ISBN13:
9783031909351
GPSR Manufacturer Reference:
[email protected]
Weight:
674 g
Height:
160 cm
Width:
241 cm
Thickness:
24 cm
Buy on Amazon
Currently sold out