vignette|Capture d'écran du logiciel Tamarin. Tamarin Prover est un logiciel informatique de vérification formelle de protocoles cryptographiques. Il a été utilisé pour vérifier Transport Layer Security 1.3, ISO/IEC 9798, DNP3 Secure Authentication v5, WireGuard, et le protocole de messagerie PQ3 d'Apple iMessage.
Tamarin est un outil open source, écrit en Haskell qui succède à un ancien outil de vérification appelé Scyther. Tamarin définit des lemmes représentant les propriétés de sécurité à vérifier . L'exécution de Tamarin peut aboutir soit à une preuve que les propriétés de sécurité sont respectées au sein du protocole, soit à un exemple d'exécution du protocole où les propriétés de sécurité ne sont pas respectées, soit ne jamais s'arrêter.
Voir aussi Articles connexes Argument hybride
Liens externes
Site officiel de Tamarin Vidéo d'introduction sur Tamarin de David Wong.
Références
Catégorie:Logiciel libre sous licence GPL Catégorie:Logiciel de cryptographie