Deprecated: Use of this version of Tamarin_prover is deprecated. More information on our Applications Support and Retention Policy.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.
Accessing Tamarin_prover 1.6.1-GCCcore-10.2.0
To load the module for Tamarin_prover 1.6.1-GCCcore-10.2.0 please use this command on the BEAR systems (BlueBEAR, BEAR Cloud VMs, and CaStLeS VMs):
module load Tamarin_prover/1.6.1-GCCcore-10.2.0
BEAR Apps Version
For more information visit the Tamarin_prover website.
Last modified on 6th September 2021