买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉清华大学申请的专利一种针对TCP/IP分层模型协议跨层交互漏洞的自动化分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120050059B 。

龙图腾网通过国家知识产权局官网在2026-04-07发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411899742.2，技术领域涉及：H04L9/40；该发明授权一种针对TCP/IP分层模型协议跨层交互漏洞的自动化分析方法是由徐恪;吴一凡;冯学伟设计研发完成，并于2024-12-23向国家知识产权局提交的专利申请。

本一种针对TCP/IP分层模型协议跨层交互漏洞的自动化分析方法在说明书摘要公布了：本申请提出一种针对TCPIP分层模型协议跨层交互漏洞的自动化分析方法，包括：对TCPIP协议栈的源代码和RFC文档进行清洗、拆分和预处理；基于预处理后的源代码和RFC文档，分别生成中间表示，从源代码中提取协议处理逻辑与跨层交互流程，生成中间表示IR‑C；从RFC文档中提取协议状态描述与逻辑结构，生成多种中间表示IR‑Ri；对IR‑C和IR‑Ri进行差分分析，检查协议代码和RFC文档在逻辑层面的描述是否一致，识别潜在的不一致性并进行调整；基于一致性比对与调整的结果，从单层协议扩展到跨层交互逻辑，构建协议跨层交互状态机；利用生成的状态机，自动生成与RFC文档风格一致的跨层交互定义文档。实现了跨层交互行为的明确定义与漏洞挖掘，提升了协议栈安全分析的效率和准确性。

本发明授权一种针对TCP/IP分层模型协议跨层交互漏洞的自动化分析方法在权利要求书中公布了：1.一种针对TCPIP分层模型协议跨层交互漏洞的自动化分析方法，其特征在于，包括以下步骤： 对TCPIP协议栈的源代码和RFC文档进行清洗、拆分和预处理，提取协议设计和实现的核心信息； 基于预处理后的源代码和RFC文档，分别生成中间表示，其中：从源代码中提取协议处理逻辑与跨层交互流程，生成协议处理中间表示IR-C；从RFC文档中提取协议状态描述与逻辑结构，生成多种中间表示IR-Ri； 对IR-C和IR-Ri进行差分分析，检查协议代码和RFC文档在逻辑层面的描述是否一致，识别代码与文档之间的潜在不一致性并进行相应调整； 基于一致性比对与调整的结果，从单层协议扩展到跨层协议交互，构建描述跨层交互逻辑的协议跨层交互状态机； 利用所述协议跨层交互状态机，生成符合RFC文档风格的跨层交互定义文档； 所述基于一致性比对与调整的结果，从单层协议扩展到跨层协议交互，构建描述跨层交互逻辑的协议跨层交互状态机，包括： 基于一致性调整后得到的RFC规范的中间表示IR-R，进行IR-C到IR-R的有监督模型训练； 基于经训练后的模型，以协议栈跨层交互代码为输入，生成跨层交互的中间表示IR-C； 将生成的IR-C作为所述协议跨层交互状态机的表示，描述协议跨层交互逻辑。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人清华大学，其通讯地址为：100084 北京市海淀区清华园；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。