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ț: 432^.68 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ț: 392^.21 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
28%

Preț: 482^.71 lei
20%

Preț: 345^.67 lei
20%

Preț: 597^.69 lei
20%

Preț: 445^.45 lei
20%

Preț: 788^.31 lei
20%

Preț: 819^.64 lei
20%

Preț: 611^.82 lei
20%

Preț: 403^.54 lei
Preț: 486^.88 lei
20%

Preț: 583^.89 lei
24%

Preț: 1136^.26 lei
Preț: 474^.86 lei

Preț: 417^.07 lei

Puncte Express: 626

:
73^.69€ • 84^.51$ • 63^.96£

Carte tipărită la comandă

Livrare economică 14-28 mai

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.67 kg
Editura: Springer
Colecția Information Security and Cryptography
Seria Information Security and Cryptography