Name: Modeling and Analyzing Security Protocols with Tamarin. A Comprehensive Guide
SKU: 64766003
Price: 57.87 USD
Availability: InStock
Author: Cas Cremers;Ralf Sasse;Jannik Dreier;David Basin

Selecciona tu país

América

Europa

Resto del mundo

portada Modeling and Analyzing Security Protocols with Tamarin. A Comprehensive Guide

Modeling and Analyzing Security Protocols with Tamarin. A Comprehensive Guide

Formato

Libro Físico

Editorial

Springer International Publishing AG

Autor

Cas Cremers;Ralf Sasse;Jannik Dreier;David Basin

Colección

Information Security and Cryptography

Año

2025

N° páginas

325

Encuadernación

Tapa Dura

Dimensiones

23.5x15.5 cm

ISBN13

9783031909351

Modeling and Analyzing Security Protocols with Tamarin. A Comprehensive Guide

Cas Cremers;Ralf Sasse;Jannik Dreier;David Basin (Autor) · Springer International Publishing AG · Tapa Dura

Libro Nuevo Importado

Envío: 16 a 23 días háb.

$ 115.74$ 57.87

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 57.87

Llega entre el 18 Sep y el 01 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Modeling and Analyzing Security Protocols with Tamarin. A Comprehensive Guide"

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.