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, BEARCloud 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.
This version of Tamarin_prover has a direct dependency on: GCCcore/10.2.0 Graphviz/2.47.0-GCCcore-10.2.0-Java-11 Maude/3.1-GCCcore-10.2.0
Last modified on 6th September 2021