{"product_id":"basin-david-modeling-and-analyzing-security-protocols-with-tamarin-9783031909351","title":"Modeling and Analyzing Security Protocols with Tamarin","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.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53731479322966,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"url":"https:\/\/www.momoxbooks.com\/products\/basin-david-modeling-and-analyzing-security-protocols-with-tamarin-9783031909351","provider":"momoxbooks","version":"1.0","type":"link"}