Modeling and Analyzing Security Protocols with Tamarin de David Basin

Modeling and Analyzing Security Protocols with Tamarin: Information Security and Cryptography

Autor David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse

en Limba Engleză Hardback – 28 iul 2025

The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.

Citește tot Restrânge

Din seria Information Security and Cryptography

20%

Preț: 396^.96 lei
20%

Preț: 628^.15 lei
20%

Preț: 568^.52 lei
20%

Preț: 321^.81 lei
20%

Preț: 353^.69 lei
20%

Preț: 402^.57 lei
20%

Preț: 621^.94 lei
20%

Preț: 324^.35 lei
20%

Preț: 624^.19 lei
20%

Preț: 1396^.31 lei
34%

Preț: 747^.36 lei
20%

Preț: 389^.14 lei
28%

Preț: 482^.71 lei
20%

Preț: 597^.69 lei
20%

Preț: 334^.98 lei
20%

Preț: 445^.45 lei
20%

Preț: 724^.81 lei
20%

Preț: 819^.64 lei
20%

Preț: 611^.82 lei
20%

Preț: 398^.85 lei
Preț: 486^.88 lei
20%

Preț: 583^.89 lei

Preț: 355^.33 lei

Preț vechi: 444^.17 lei
-20%

Puncte Express: 533

:
62^.82€ • 74^.90$ • 54^.48£

Carte tipărită la comandă

Livrare economică 16-30 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783031909351
ISBN-10: 3031909356
Pagini: 340
Dimensiuni: 160 x 241 x 24 mm
Greutate: 0.65 kg
Editura: Springer
Seria Information Security and Cryptography