ProVerif使用文档（1）——启动和运行_proverif中文使用手册

作者：我家自动化 | 2024-06-09 14:16:11

踩

proverif中文使用手册

软件名称：ProVerif 2.0

系统环境：window

步骤：

1.打开proverif.exe文件所在路径，在该路径（相同文件夹）下，做如下操作：

1.1.新建文本test.txt，并输入一下代码：

free c : channel .

free Cocks : bitstring [private].
free RSA: bitstring [private] .

process

out(c ,RSA);
0

1.2.保存，修改文本后缀为：test.pv

2.运行cmd，切换到proverif.exe所在的文件夹

3.输入：proverif test.pv，运行结果如下：

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/我家自动化/article/detail/694449