Opis
Tamarin prover je alat za provjeru sigurnosnih protokola koji podržava falsificiranje (pronalaženje napada) i neograničenu provjeru (dokazivanje) u simboličkom modelu. Sigurnosni protokoli navedeni su kao sustavi za prepisivanje višestrukih skupova i analizirani s obzirom na vremenska svojstva prvog reda.
Verzije
| Verzija | Modul | Red | Supek | Padobran |
|---|---|---|---|---|
| 1.9.0_3f6f2* | scientific/tamarin/1.9.0_3f6f2c | cpu |  |  |
| 1.9.0_883861* | scientific/tamarin/1.9.0_883861 | cpu | | |
*Verzije dopremljene sa github-a, naziv commit-a
Službena dokumentacija
Primjer korištenja
Tamarin koristi multi-threading tehnologiju za paralelizaciju te automatski postavlja broj dretvi jednak broju zatraženih CPU jezgara.
Aplikacije se pokreće pomoću run_tamarin.sh wrapper skripte.
Tamarin prover alat nema MPI podršku te je korištenje ograničeno na jedan čvor!
#PBS -q cpu
#PBS -l select=1:ncpus=2:mem=8gb
#PBS -j oe
cd ${PBS_O_WORKDIR}
module load scientific/tamarin/1.9.0_3f6f2c
run_tamarin.sh tamarin-prover Tutorial.spthy
Tutorial.spthy primjer je preuzet sa github repozitorija (https://github.com/tamarin-prover/tamarin-prover/tree/develop/examples)