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ț: 328^.05 lei
20%

Preț: 396^.98 lei
20%

Preț: 628^.15 lei
20%

Preț: 568^.52 lei
20%

Preț: 321^.81 lei
20%

Preț: 353^.71 lei
20%

Preț: 402^.57 lei
20%

Preț: 490^.12 lei
20%

Preț: 621^.94 lei
20%

Preț: 324^.35 lei
20%

Preț: 624^.19 lei
20%

Preț: 1396^.31 lei
20%

Preț: 949^.34 lei
20%

Preț: 527^.45 lei
20%

Preț: 597^.74 lei
20%

Preț: 445^.45 lei
20%

Preț: 724^.87 lei
20%

Preț: 819^.69 lei
20%

Preț: 611^.82 lei
20%

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

Preț: 583^.89 lei

Preț: 355^.33 lei

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

Puncte Express: 533

:
62^.89€ • 73^.49$ • 54^.60£

Carte tipărită la comandă

Livrare economică 20 februarie-06 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

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