- 博客(2)
- 收藏
- 关注
原创 密码分析实验二
这里就出现报错了,提示是我们没有配置相应路径,因此我找了配路径的方式:(未成功不建议使用)正常情况下配置完成就应该可以进行编译电路了,但是由于时间有限暂未解决。继承了所有协议需要的组件,包括初始可信设置的。编译完成后执行安装命令,等待安装完毕即可。执行过程(用以计算全局的 的幂)和。这里发现有问题按照提示继续进行就好了。模式,可以直接部署到。
2024-01-14 13:27:49
335
1
原创 密码分析实验一(ProVerif/HandShake Protocol/Needham-Schroeder Protocol)
根据实验手册,安装proverif环境验证hello.pv文件学习proverif手册3.1-3.3部分与实验手册验证文件,分析proverif的验证结果,说明存在的攻击手段根据proverif的分析结果,尝试改进协议,解决中间人攻击学习协议,了解其基本原理与协议流程利用proverif,分析附件中的密钥共享协议的三个变体,说明各个协议变体存在的缺陷,尝试给出攻击方式根据分析结果,结合proverif手册第五章内容,尝试解决协议存在的缺陷。
2024-01-14 12:36:53
354
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人