ProVerif
install
ProVerif: Cryptographic protocol verifier in the formal model
以archlinux为例
sudo pacman -S opam
opam init default https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git
opam repo set-url default https://mirrors.sjtug.sjtu.edu.cn/git/opam-repository.git --all --set-default
opam update
opam install conf-graphviz
opam install proverif