tamarin-prover.github.io - Tamarin Prover

home > domains > tamarin-prover.github.io

Description: The Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model.

Example domain paragraphs

The Tamarin prover is a security protocol verification tool that supports both falsification and unbounded verification in the symbolic model. Security protocols are specified as multiset rewriting systems and analysed with respect to (temporal) first-order properties and a message theory that models Diffie-Hellman exponentiation and exclusive-or (XOR), combined with a user-defined rewriting theory that has the Finite Variant Property, which includes subterm-convergent theories.

Get the docs Install Tamarin

David Basin , Cas Cremers , Jannik Dreier , Simon Meier , Ralf Sasse , Benedikt Schmidt Tamarin is a collaborative effort: see the manual for a more extensive overview of its development and additional contributors. Current maintainers: Cas Cremers , Jannik Dreier , Robert Künnemann , Ralf Sasse

Links to tamarin-prover.github.io (4)



© example3.com 2024