Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Description
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.
I have a question about the book:
‘Modeling and Analyzing Security Protocols with Tamarin - Basin, David, Cremers, Cas, Dreier, Jannik, Sasse, Ralf’.
Fill in the form below.
We will respond as fast as possible.
