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ț: 402^.57 lei
20%

Preț: 614^.76 lei
20%

Preț: 324^.35 lei
20%

Preț: 850^.03 lei
46%

Preț: 511^.92 lei
20%

Preț: 588^.93 lei
20%

Preț: 628^.15 lei
20%

Preț: 403^.54 lei
20%

Preț: 323^.50 lei
20%

Preț: 448^.48 lei
20%

Preț: 507^.73 lei
20%

Preț: 320^.41 lei
20%

Preț: 392^.21 lei
20%

Preț: 1008^.67 lei
20%

Preț: 628^.06 lei
34%

Preț: 775^.91 lei
20%

Preț: 358^.14 lei
39%

Preț: 822^.49 lei
20%

Preț: 1396^.31 lei
37%

Preț: 447^.35 lei
20%

Preț: 601^.13 lei
20%

Preț: 347^.84 lei
20%

Preț: 788^.31 lei
18%

Preț: 925^.76 lei
20%

Preț: 621^.94 lei
20%

Preț: 427^.32 lei
Preț: 508^.14 lei

Preț: 417^.07 lei

Puncte Express: 626

Carte tipărită la comandă

Livrare economică 04-18 iulie

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