Modeling and analyzing security protocols with tamarin: a comprehensive guide
Auteur :
Basin, David / Cremers, Cas / Dreier, Jannik / Sasse, Ralf
Éditeur :
Springer International Publishing AG
ISBN :
9783031909351
Date de publication :
28 juil. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.