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ț: 1008^.67 lei
20%

Preț: 621^.94 lei
20%

Preț: 402^.57 lei
20%

Preț: 601^.13 lei
37%

Preț: 447^.35 lei
46%

Preț: 511^.92 lei
20%

Preț: 427^.32 lei
20%

Preț: 324^.35 lei
Preț: 524^.86 lei
39%

Preț: 822^.49 lei
20%

Preț: 788^.31 lei
20%

Preț: 320^.41 lei
20%

Preț: 507^.73 lei
20%

Preț: 392^.21 lei
20%

Preț: 403^.54 lei
20%

Preț: 628^.06 lei
34%

Preț: 775^.91 lei
20%

Preț: 323^.50 lei
20%

Preț: 1396^.31 lei
20%

Preț: 448^.48 lei
20%

Preț: 358^.14 lei
20%

Preț: 850^.03 lei
18%

Preț: 925^.76 lei
20%

Preț: 614^.76 lei
20%

Preț: 514^.49 lei
20%

Preț: 588^.93 lei
24%

Preț: 1173^.95 lei
20%

Preț: 628^.15 lei
20%

Preț: 338^.75 lei

Preț: 417^.07 lei

Puncte Express: 626

Carte tipărită la comandă

Livrare economică 06-20 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.

Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.

Retur gratuit în 14 zile Comandă securizată și suport în română.

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