- 博客(2)
- 收藏
- 关注
RSS订阅原创 2025版Latex安装Texlive+Texstudio（含环境配置）
点进去后找到了texlive2025.iso并下载（挺慢的）本文主要记录了一下自己参考csdn其他教程时不一样的地方。我也不知道啥问题，换成自己的热点也不行。一、安装Texlive2025。
2025-04-09 15:30:11
1846
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
1349
2
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人