...
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
...