- 博客(2)
- 收藏
- 关注
RSS订阅原创 使用Proverif分析TLS 1.3协议
TLS(传输层安全)协议是一种广泛使用的网络协议，它主要用来建立服务器和客户端之间的安全通道。本文对TLS 1.3的18草案就行详细解析，并用proverif对其进行建模已经进行安全性论证。
2022-06-28 04:44:03
1801
1
CS144实验答案，中国科学技术大学2023春网络系统实验
测试样例全部通过，router实验使用了RadixTree进行优化，包含7次实验的所有内容，逻辑自然几乎没有用到特判，没有修改任何除可修改内容之外的其他库。
适合正在进行该实验的本科生。语言：C+++
2023-05-25
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人