Modeling and Analyzing Security Protocols with Tamarin
A Comprehensive Guide
Omschrijving
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.
Ik heb een vraag over het boek:
‘Modeling and Analyzing Security Protocols with Tamarin - Basin, David, Cremers, Cas, Dreier, Jannik, Sasse, Ralf’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
