...
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 |  |  |
*Verzija 1.9.0_3f6f2 dopremljena je sa github-a, commit 3f6f2c
...
| 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 |
...