基于FSM分析的硬件漏洞挖掘方法研究

发布时间：2025-05-15 05:22

　　当前,硬件安全问题受到越来越多研究人员的关注,而硬件漏洞挖掘是硬件安全领域的重要研究方向。在硬件设计中,有限状态机(Finite State Machine,FSM)十分重要。将FSM和硬件漏洞挖掘结合,从而提出一种硬件漏洞挖掘的方法,对于硬件安全的相关研究具有非常重要的意义。本文针对硬件漏洞挖掘问题,以FSM为切入点,分别从FSM提取、FSM漏洞挖掘和FSM漏洞攻击路径生成等方面开展了相关研究。主要内容如下:(1)提出了一种FSM提取方法针对HDL代码的FSM提取问题,本文提出了一种新型的FSM提取方法。该方法以HDL代码为输入,能够提取出设计中所有符合FSM结构定义的部分。此外,该方法中的FSM结构识别和FSM等效变换等工作,都不是以网表为输入,一定程度上排除了综合工具等因素的影响。最后,针对传统方法中FSM提取不完全的问题,该方法基于仿真验证实现了FSM的完全提取。(2)研究了FSM漏洞挖掘方法针对FSM中的漏洞,本文展开了FSM漏洞挖掘的相关研究。本文首先研究了FSM中的基本漏洞类型,进而提出了一种FSM漏洞传播模型,并详细分析了漏洞的可传播性和可利用性。然后,对于上述两种类型的...

【文章页数】：88 页

【学位级别】：硕士

【部分图文】：

图3-16示例FSM的完全提取仿真图

电子科技大学硕士学位论文36由上述实验结果分析可知，FSM初步提取方法无法保证提取的FSM的完整性，因此需要对不完整的FSM使用FSM完全提取方法。仍以oc8051.v中的目标寄存器oc8051_sfr1oc8051_uatr1rx<sub....

本文编号：4046310