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

$84.00
+ $23.49 Shipping

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

Sold by:
  • product image
Modeling And Analyzing Security Protocols With Tamarin A Comprehensive Guide - David Basin - Hardcover - en Book

$84.00

In stock
+ $23.49 Shipping
Taxes calculated at checkout

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded

Description

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.
  • Brand: Unbranded
  • Category: Computing & Internet
  • Format: Hardcover
  • Language: en
  • Length: 340
  • Publisher / Label: Springer Nature B.V
  • Author: David Basin
  • Fruugo ID: 491711150-1015288270
  • ISBN: 9783031909351

Delivery

Dispatched within 24 hours

  • STANDARD: $23.49 - Delivery between Fri 31 July 2026–Thu 06 August 2026

Shipping from United Kingdom.

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy