{"product_id":"modeling-and-analyzing-security-protocols-with-tamarin-9783031909351","title":"Modeling and Analyzing Security Protocols with Tamarin","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eForeword.- 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195476336983,"sku":"9783031909351","price":49.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/modeling-and-analyzing-security-protocols-with-tamarin-9783031909351","provider":"Book Curl","version":"1.0","type":"link"}