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

龙图腾网获悉西安工业大学申请的专利一种寄存器传输级信息流建模安全漏洞检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116522347B 。

龙图腾网通过国家知识产权局官网在2026-04-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310439068.9，技术领域涉及：G06F21/57；该发明授权一种寄存器传输级信息流建模安全漏洞检测方法及系统是由秦茂源;刘宝龙;沈超;陈雷;刘立强;叶昕;侯佳滢;李家乐设计研发完成，并于2023-04-21向国家知识产权局提交的专利申请。

本一种寄存器传输级信息流建模安全漏洞检测方法及系统在说明书摘要公布了：本发明公开了一种寄存器传输级信息流建模安全漏洞检测方法及系统，通过构建寄存器传输级硬件设计的信息流安全模型，基于信息流安全模型进行安全属性提取，根据提取的安全属性进行安全验证，如果安全验证完全通过，则表明设计满足给定的安全属性，不存在违反安全属性的安全漏洞；反之，安全验证失败，则表明设计存在违反安全属性的安全漏洞，本发明使得形式化地描述寄存器传输级硬件设计的安全行为和安全属性，所构建的寄存器传输级信息流安全模型完全采用HDL语言描述，能够与现有EDA测试验证工进行有效整合；其三：本发明是部署于EDA流程的设计和验证阶段的，因而能够在设计早期有效检测HDL设计内的潜在安全漏洞，可为高可靠硬件设计提供设计依据。

本发明授权一种寄存器传输级信息流建模安全漏洞检测方法及系统在权利要求书中公布了：1.一种寄存器传输级信息流建模安全漏洞检测方法，其特征在于，包括以下步骤： S1，构建寄存器传输级硬件设计的信息流安全模型； S2，基于信息流安全模型进行安全属性提取； S3，根据提取的安全属性进行安全验证，如果安全验证完全通过，则表明设计满足给定的安全属性，不存在违反安全属性的安全漏洞；反之，安全验证失败，则表明设计存在违反安全属性的安全漏洞； 寄存器传输级硬件设计中包括数据流操作和控制流操作，数据流操作和控制流操作分别定义为函数和其中，表示输出表达式，表示操作类型，表示控制条件表达式，表示数据流操作的输入表达式，和表示控制流操作的输入表达式；数据流操作包括逻辑运算、无条件判断的连续赋值语句和无条件判断的过程赋值语句；控制流操作包括有条件判断的过程赋值语句和连续赋值语句；数据流操作的无条件判断的连续赋值语句和无条件判断的过程赋值语句形式：将赋值符号右侧表达式的安全属性标签赋值给赋值符号左侧表达式的安全属性标签，具体按照寄存器传输级信息流安全模型所采用的精确标签传播策略，对符号右侧表达式的安全属性标签传播逻辑进行建模；有条件判断赋值语句的信息流跟踪逻辑函数表示为： 且，其中为和的位宽，而为的所有bit位相或的信息流跟踪逻辑，其中Exp_LHSt、Ctrlt、Exp1t、Exp2t分别是Exp_LHS、Ctrl、Exp1、Exp2的安全属性标签。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安工业大学，其通讯地址为：710021 陕西省西安市未央区学府中路2号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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