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

龙图腾网获悉北京计算机技术及应用研究所申请的专利一种基于子图同构的RTL级硬件木马检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115688104B 。

龙图腾网通过国家知识产权局官网在2025-07-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211424243.9，技术领域涉及：G06F21/56；该发明授权一种基于子图同构的RTL级硬件木马检测方法是由李东方;刘诗宇;沈炜;王志昊;杨光设计研发完成，并于2022-11-14向国家知识产权局提交的专利申请。

本一种基于子图同构的RTL级硬件木马检测方法在说明书摘要公布了：本发明涉及一种基于子图同构的RTL级硬件木马检测方法，属于RTL级硬件安全性分析技术领域。本发明提供的基于子图同构的RTL级硬件木马检测方法通过添加约束和剪枝条件优化子图同构算法，以较低的代价，快速、精确地确定木马的位置，并给出检测结果的置信度与图形化表征,不依赖参考模型，便于使用、推广。

本发明授权一种基于子图同构的RTL级硬件木马检测方法在权利要求书中公布了：1.一种基于子图同构的RTL级硬件木马检测方法，其特征在于，包括以下步骤： 步骤1：对已知硬件木马文件进行分析，将其转换为木马特征有向图； 步骤2：根据步骤1中获取的木马特征有向图及木马相关信息构建木马库； 步骤3：对待测工程文件采取步骤1中的方法进行处理，得到待测工程文件的特征有向图； 步骤4：将待测工程文件的特征有向图与木马库中的木马特征有向图，利用子图同构匹配的方法，得到匹配结果； 步骤5：基于匹配结果输出检测结果； 步骤1中转换的过程包括对木马文件进行词法分析与语法分析，生成抽象语法树，解析抽象语法树获取其数据流图与控制流图，采用静态分支概率计算获得控制流图概率，并将数据流图与控制流图关联为木马特征有向图，所述木马文件包括一个或多个RTL文件； 步骤4中所述子图同构匹配的方法包括： 精确匹配：将待测工程文件与木马库中的木马特征，即从木马RTL代码中生成的木马特征有向图利用精确匹配算法进行一一匹配，若匹配时间超出设定时间，则记录本次匹配的信息，之后进行下一次匹配；若匹配通过，则标记为检测到木马，生成匹配结果；若匹配不通过，则标记为未检测到该木马，并进行以下的模糊匹配； 模糊匹配：首先读取超时记录，延长匹配时间进行匹配，利用模糊匹配算法将该超时记录的条目中记录的输入待测工程文件与木马的全部有效结构进行匹配，若匹配仍超时，则记录该条目，并标记为无法处理，继续处理下一记录；若匹配通过，则标记为检测到该木马，并生成结果，之后处理下一条记录；若匹配不通过，则标记为未检测到该木马，继续处理下一条目； 所述精确匹配算法包括： 基于邻域信息的节点剪枝算法：对于节点的匹配，考虑节点对应边权值约束，仅将满足约束的节点集作为候选节点集，其中，利用节点与边的关系，在进行匹配时对待匹配节点进行限制，子图中对应节点的所有边中，相同属性的边的数目必须小于待匹配图； 基于邻域信息的边剪枝算法：对于边的匹配，考虑数据流图边的权值约束，仅将满足约束的边集作为候选边集，在匹配时认为权值1即赋值关系与权值2即条件关系不同，权值3即条件赋值关系与权值1或权值2等同，当返回值为真时，将当前边对添加到边候选集中，若返回值为假则该边对被排除，从而减小边候选集； 所述模糊匹配算法中，将木马数据流图所有有效结构的频繁子图与待测工程文件的数据流图进行精确匹配。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京计算机技术及应用研究所，其通讯地址为：100854 北京市海淀区永定路51号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。