TAMARIN Prover
Tamarin book
Modeling and Analyzing Security Protocols with Tamarin:
A Comprehensive Guide
By David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse.
Physical copies will soon be availabe through Springer.
Download the Tamarin book draft:
Download the accompanying theories and exercise files for the book, in a single zip archive:
If you sign up to the Tamarin Prover mailing list, you will be notified when there are updates and when the final version of the book will be released by Springer.