Description

Book Synopsis

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.

Modeling and Analyzing Security Protocols with Tamarin

    Product form

    £49.99

    Includes FREE delivery

    Order before 4pm today for delivery by Tue 16 Jun 2026.

    A Hardback by David Basin

    15 in stock


      View other formats and editions of Modeling and Analyzing Security Protocols with Tamarin by David Basin

      Publisher: Springer
      Publication Date: 15/07/2025
      ISBN13: 9783031909351, 978-3031909351
      ISBN10:

      Description

      Book Synopsis

      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account