一种基于信息流安全验证的硬件木马检测方法
授权
摘要
本发明提供了一种基于信息流安全验证的硬件木马检测方法，通过为集成电路硬件设计构建信息流模型，定义硬件设计所需满足的信息流安全属性，利用EDA形式化验证工具进行信息流安全验证，通过捕捉信息流安全属性发生违反的情形来检测硬件设计中潜在的木马，并可利用本发明中信息流模型所提供的逆向追踪能力，实现木马设计的精确定位并揭示其触发机制。本发明能够有效避免硬件设计语言和验证语言之间语义差别所导致的额外设计开销，提高安全验证与木马检测的效率。
基本信息
专利标题 ：
一种基于信息流安全验证的硬件木马检测方法
专利标题（英）：
暂无
公开（公告）号 ：
CN110096907A
申请号 ：
CN201910280834.5
公开（公告）日 ：
2019-08-06
申请日 ：
2019-04-09
授权号 ：
CN110096907B
授权日 ：
2022-04-05
发明人 ：
胡伟邰瑜慕德俊
申请人 ：
西北工业大学深圳研究院;西北工业大学
申请人地址 ：
广东省深圳市南山区粤海街道高新技术产业园南区虚拟大学园A座3楼315室
代理机构 ：
西北工业大学专利中心
代理人 ：
金凤
优先权 ：
CN201910280834.5
主分类号 ：
G06F21/76
IPC分类号 ：
G06F21/76 G06F21/55
相关图片
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F21/00
防止未授权行为的保护计算机、其部件、程序或数据的安全装置
G06F21/70
保护特定的内部或外部计算机组件,即保护一个组件从而保护整个计算机
G06F21/71
确保安全计算或信息处理
G06F21/76
在专用集成电路或现场可编程器件中，例如：现场可编程门阵列或可编程逻辑器件
法律状态
2022-04-05 ：
授权
2019-08-30 ：
实质审查的生效
IPC(主分类) : G06F 21/76
申请日 : 20190409
申请日 : 20190409
2019-08-06 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
1、
CN110096907A.PDF
PDF下载
