Modeling And Analyzing Security Protocols With Tamarin A Comprehensive Guide - David Basin - Hardcover - en Book

₺3.999,00
+ ₺1.095,49 Kargo

Modeling And Analyzing Security Protocols With Tamarin A Comprehensive Guide - David Basin - Hardcover - en Book

Satıcı:
  • product image

₺3.999,00

Stokta var
+ ₺1.095,49 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

  • Marka: Unbranded

Tanım

Modeling And Analyzing Security Protocols With Tamarin A Comprehensive Guide - David Basin - Hardcover - en Book

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. Tamarin Is A Robust And Powerful Analysis Tool: It Has Been Under Development For Over A Decade And Has Reached A State Of Maturity Where It Can Be Applied To Model And Analyze A Wide Range Of Real-world Cryptographic Protocols.
  • Marka: Unbranded
  • Kategoriye Göre: Bilgisayar & İnternet
  • Biçim: Hardcover
  • Uzunluk: 340
  • Dil: en
  • Yazar: David Basin
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 491711150-1015288270
  • ISBN: 9783031909351

Teslimat

24 saat içinde kargoya verilir

  • STANDARD: ₺1.095,49 - Arasında teslimat Çar 05 Ağustos 2026–Pzt 10 Ağustos 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle