• doc
• install
• note

doc

ProVerif: Cryptographic protocol verifier in the formal model

proverif manual

install

以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

note

inj-event 单射条件

convergent 收敛的，避免无限循环

phase 默认phase 0，注意forward secrecy的示例

Published

Categories

• crypto 91

Tags

• proverif 1
• crypto 33

Share On

• twitter


• weibo


• reddit


• linkedin