David Basin: Modeling and Analyzing Security Protocols with Tamarin, Gebunden

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

Modeling and Analyzing Security Protocols with Tamarin

Buch

A Comprehensive Guide

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 58,66

Versandkosten (United States of America): EUR 19,90

Verlag:: Springer, 07/2025
Einband:: Gebunden
Sprache:: Englisch
ISBN-13:: 9783031909351
Artikelnummer:: 12414229
Umfang:: 340 Seiten
Gewicht:: 674 g
Maße:: 241 x 160 mm
Stärke:: 24 mm
Erscheinungstermin:: 28.7.2025
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.

Biografie (David Basin)

Prof. Dr. David Basin is the Chair of Information Security at ETH Zürich; his research focuses on information security, in particular methods and tools for modeling, building, and validating secure and reliable systems.