当前,硬件设计被广泛的运用于各种领域,同时由于设计集成度的不断提高和规模的不断增大,导致硬件安全问题越来越严重。因此,硬件安全漏洞的研究与检测越来越受到专业人员的关注,成为硬件相关领域一个重要的研究方向。基于以上背景,本文以信息流跟踪技术为基础对硬件安全漏洞中的信息安全相关问题进行分析与研究,研究了一种硬件安全漏洞的检测与溯源方法。主要内容如下:(1)以信息流模型为基础进行硬件安全漏洞的检测针对常见的信息泄露和信息破坏类型的硬件安全漏洞,本文以信息流跟踪技术为检测手段,利用网表实现了硬件设计信息流跟踪逻辑的自动化生成,并且结合了不同精度的信息流跟踪逻辑,既保证了检测的准确性,又加快了检测的进度。最后,通过实验证明方法的可行性。(2)研究了一种基于传播路径的安全漏洞检测与定位方法该方法利用从可疑的输出向前验证的思想。首先使用传统的信息流检测方法初步定位可疑的输出端口,同时为了定位漏洞传播的路径,研究了以触发器为关键点对电路进行分段并验证的方法。在该方法中不仅能够识别出漏洞传播过程中经过的模块,而且分段化的验证方法与将电路看作一个整体的检测方法相比而言提高了验证效率。最后通过实验证明了该方法能够在短时间内准确的定位漏洞的传播路径。(3)研究了一种漏洞触发条件的逆向推导方法为了便于进一步了解硬件设计存在的问题并进行改进,本文研究了一种可以获取安全漏洞触发条件的方法。该方法基于回溯法的思路,设计了一种逆向推导触发逻辑的模型,定义了推导的起点和终点,并且研究了相关节点的验证策略。该方法利用了漏洞触发条件的特点,在一定程度上避免了数据爆炸问题。最后,通过实验证明了该方法可以获取逻辑触发类型漏洞的触发条件。此外,该方法还可以识别永久激活的硬件安全漏洞。