会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Reach high, for stars lie hidden in your soul.
博客园
首页
新随笔
联系
管理
订阅
2017年11月7日
关于协议安全分析工具Proverif 以及Proverif Editor的安装与使用
摘要: 一.Proverif的安装与使用 1.首先从 http://prosecco.gforge.inria.fr/personal/bblanche/proverif/ 下载源代码 2.然后解压进入该目录下,使用 ./build命令 注意事项:在执行第二步的时候,需要OCaml环境,具体参考 http:
阅读全文
posted @ 2017-11-07 17:02 GoodboyBin
阅读(2958)
评论(0)
推荐(0)
编辑
公告