TLS协议测试研究

星期日, 9月 29, 2024 | 1分钟阅读 | 更新于星期日, 12月 8, 2024

YuanFeng Xie

本文从RFC8446（TLS1.3标准）文档出发，梳理TLS1.3协议，包括当前测试TLS的难点，TLS通信过程，TLS标准状态机，TLS涉及的CVE介绍，以及简单TLS报文的构建。

TLS协议背景

TLS1.3协议握手通信过程

/ [pdf]

/ [pdf]

/ [pdf]

/ [pdf]

/ [pdf]

/ [pdf]

/ [pdf]

关于我

一名喜欢RUST的菜鸟程序员

浏览器漏洞挖掘项目

V8引擎的模糊测试工具改进

时间：2021.09-2022.04

内容：聚焦于优化JavaScript引擎的测试方法。研究团队基于SOAT改进部署了V8引擎测试环境，并通过分析测例覆盖率和已知CVE，优化了测试流程。

成果：成功捕获了一个谷歌引擎的逻辑漏洞，获得了修复反馈

JS引擎WASM模块漏洞挖掘研究

时间：2023.11-2024.4

内容：阅读标准手动编写了WASM语法规则，调研了主流JS引擎的WASM支持情况，并基于V8构建了WASM二进制框架。

成果：语法规则、调研报告和二进制构建框架，成功捕获特性缺陷并得到修复

数据库缺陷研究项目

关系型数据库缺陷的实证研究

时间：2022.12-2023.11

内容：通过构建统一的数据库逻辑框架，系统收集并分析了大量数据库缺陷。对777个缺陷进行了深入分析，特别聚焦SQL数据类型问题，并据此改进了模糊测试方法。

网络协议漏洞挖掘项目

基于 RFC的 SSL/TLS模糊测试

时间：2024.4 – today

内容：梳理TLS协议模糊测试的相关工作，关注基于状态机的网络协议模糊测试方法。复现历史漏洞，了解TLS报文结构，追溯相关漏洞代码。分析RFC文档，提取字段约束，构建状态转移范式，并据此完善了TLS协议的有限状态机模型。

成果：完成相关工作调研, 漏洞复现报告, 状态范式数据集