...
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 3f6f2 dopremljena je sa github-a, naziv commit 3f6f2c-a
Službena dokumentacija
...
| Tip |
|---|
Tamarin koristi multi-threading tehnologiju za paralelizaciju procesa te automatski postavlja broj dretvi jednak broju zatraženih CPU jezgara. Aplikacije se pokreće pomoću run_tamarin.sh wrapper skripte. |
| Warning |
|---|
Tamarin prover alat nema MPI podršku te je korištenje ograničeno na jedan čvor.! |
| Code Block | ||
|---|---|---|
| ||
#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 |
...