- 博客(1)
- 收藏
- 关注
原创 使用ProVerif工具验证分析Handshake和Needham-Schroeder协议
在linux系统上安装好ocaml和graphviz组件依赖,然后在官网(http://proverif.inria.fr/)下载proverif2.05.tar.gz和proverifdoc2.05.tar.gz压缩包,并解压安装安装成功后如图:对hello.pv进行验证:Process 0 为初始进程:初始进程为客户A和服务器B分别生成了非对称加密私钥skA和签名用的私钥skB,分别为这两个私钥生成对应的公钥(pkA,pkB),并通过公开信道c将这两个公钥发送出去。两个进程宏(分别对应clientA和s
2024-01-13 14:36:48
1051
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人