Modeling and Analyzing Security Protocols with Tamarin

Modeling and Analyzing Security Protocols with Tamarin

A Comprehensive Guide

Versandkostenfrei!
Versandfertig in 1-2 Wochen
41,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
21 °P sammeln!
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. It is now one of the leading tools in this domain, with a wide and active user community spanning both academ...