Tamarin_prover 1.6.1-GCCcore-10.2.0

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

2020h

More Information

For more information visit the Tamarin_prover website.

Dependencies

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