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