文件名称：proverif用户文档
文件大小：196KB
文件格式：PDF
更新时间：2021-11-22 02:15:12
安全 软件
proverif用户文档，ProVerif is an automatic cryptographic protocol verifier, in the formal model (so called Dolev-Yao model). This protocol verifier is based on a representation of the protocol by Horn clauses. Its main features are。