Ubuntu16.04 安装 Tamarin-prover

1、说明

Tamarin Prover 是一个对安全协议进行符号建模和分析的强大工具，在 Mac / Linux上安装 Tamarin 最简单的方式就是使用 Homebrew / Linuxbrew。
我这里用的是 Ubuntu16.04（运行在VMware 下），所以选择 Linuxbrew（目前Linuxbrew已经并入Homebrew当中了）。

2、安装 Homebrew / Linuxbrew

参考官方文档，链接：https://docs.brew.sh/Homebrew-on-Linux

Step1: 安装 Linuxbrew

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"

Tips：安装过程中若提示缺少什么，根据提示安装就行。

Step2: 添加 Linuxbrew 到 PATH

test -d ~/.linuxbrew && eval $(~/.linuxbrew/bin/brew shellenv)
test -d /home/linuxbrew/.linuxbrew && eval $(/home/linuxbrew/.linuxbrew/bin/brew shellenv)
test -r ~/.bash_profile && echo "eval \$($(brew --prefix)/bin/brew shellenv)" >>~/.bash_profile
echo "eval \$($(brew --prefix)/bin/brew shellenv)" >>~/.profile

Tips：这一步结束后最好重启一下。

Step3: 测试

brew install hello

3、安装 Tamarin-prover

参考官方文档，链接：https://tamarin-prover.github.io/manual/book/002_installation.html

brew install tamarin-prover/tap/tamarin-prover

Tips：安装结束后若没有报错，就说明成功了，可以去参考官方的第一个例子来测试一下。链接：https://tamarin-prover.github.io/manual/book/003_example.html