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

龙图腾网获悉清华大学;北京中关村实验室申请的专利一种基于协议规范状态机的漏洞自动化分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120263568B 。

龙图腾网通过国家知识产权局官网在2025-10-10发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510750480.1，技术领域涉及：H04L9/40；该发明授权一种基于协议规范状态机的漏洞自动化分析方法是由邹倩;徐恪;冯学伟设计研发完成，并于2025-06-06向国家知识产权局提交的专利申请。

本一种基于协议规范状态机的漏洞自动化分析方法在说明书摘要公布了：本申请提出一种基于协议规范状态机的漏洞自动化分析方法，涉及互联网技术领域，其中，方法包括：根据映射关系对输入符号序列进行映射以生成第一映射数据，将第一映射数据输入目标系统进行处理后获取第一输出符号序列，并确定第一有限状态机模型，根据协议规范对输入符号序列进行映射以生成第二映射数据，并确定第二有限状态机模型目录；生成第一状态图和第二状态图，对比第一状态图和第二状态图以确定目标路径，并对所述目标路径进行分析以确定漏洞。通过对目标系统和协议规范进行解析生成状态图，并对状态图进行对比，实现了系统漏洞的检测对比，降低系统漏洞导致的系统安全问题的概率，提高了系统漏洞检测的效率和系统的安全性。

本发明授权一种基于协议规范状态机的漏洞自动化分析方法在权利要求书中公布了：1.一种基于协议规范状态机的漏洞自动化分析方法，其特征在于，包括以下步骤： 根据映射关系对输入符号序列进行映射以生成第一映射数据，将所述第一映射数据输入目标系统进行处理后获取反馈数据，其中，所述第一映射数据为针对所述目标系统的精确数据； 根据所述映射关系对所述反馈数据进行映射以生成第一输出符号序列，并根据所述输入符号序列和所述第一输出符号序列确定第一有限状态机模型，其中，所述第一有限状态机模型为所述目标系统的有限状态机模型； 根据协议规范对所述输入符号序列进行映射以生成第二映射数据，将所述第二映射数据输入协议规范行为模拟器生成第二输出符号序列，并根据所述输入符号序列和第二输出符号序列确定第二有限状态机模型目录，其中，所述第二有限状态机模型目录中为所述协议规范对应的多个子第二有限状态机模型，其中，所述第二映射数据为针对所述协议规范的符号，所述协议规范行为模拟器中具有符合协议规范的输入符号序列与输出符号序列的对应关系； 生成所述第一有限状态机模型对应的第一状态图和所述第二有限状态机模型目录对应的第二状态图，对比所述第一状态图和所述第二状态图以确定目标路径，并对所述目标路径进行分析以确定漏洞。

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

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