當(dāng)前,硬件安全問(wèn)題受到越來(lái)越多研究人員的關(guān)注,而硬件漏洞挖掘是硬件安全領(lǐng)域的重要研究方向。在硬件設(shè)計(jì)中,有限狀態(tài)機(jī)(Finite State Machine,FSM)十分重要。將FSM和硬件漏洞挖掘結(jié)合,從而提出一種硬件漏洞挖掘的方法,對(duì)于硬件安全的相關(guān)研究具有非常重要的意義。本文針對(duì)硬件漏洞挖掘問(wèn)題,以FSM為切入點(diǎn),分別從FSM提取、FSM漏洞挖掘和FSM漏洞攻擊路徑生成等方面開(kāi)展了相關(guān)研究。主要內(nèi)容如下:(1)提出了一種FSM提取方法針對(duì)HDL代碼的FSM提取問(wèn)題,本文提出了一種新型的FSM提取方法。該方法以HDL代碼為輸入,能夠提取出設(shè)計(jì)中所有符合FSM結(jié)構(gòu)定義的部分。此外,該方法中的FSM結(jié)構(gòu)識(shí)別和FSM等效變換等工作,都不是以網(wǎng)表為輸入,一定程度上排除了綜合工具等因素的影響。最后,針對(duì)傳統(tǒng)方法中FSM提取不完全的問(wèn)題,該方法基于仿真驗(yàn)證實(shí)現(xiàn)了FSM的完全提取。(2)研究了FSM漏洞挖掘方法針對(duì)FSM中的漏洞,本文展開(kāi)了FSM漏洞挖掘的相關(guān)研究。本文首先研究了FSM中的基本漏洞類型,進(jìn)而提出了一種FSM漏洞傳播模型,并詳細(xì)分析了漏洞的可傳播性和可利用性。然后,對(duì)于上述兩種類型的...

【文章頁(yè)數(shù)】：88 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

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

電子科技大學(xué)碩士學(xué)位論文36由上述實(shí)驗(yàn)結(jié)果分析可知，F(xiàn)SM初步提取方法無(wú)法保證提取的FSM的完整性，因此需要對(duì)不完整的FSM使用FSM完全提取方法。仍以oc8051.v中的目標(biāo)寄存器oc8051_sfr1oc8051_uatr1rx<sub....

本文編號(hào)：4046310