關(guān)于固件代碼惡意行為的分析技術(shù)研究.pdf

1、固件代碼不同于應(yīng)用層的軟件，缺陷隱藏較深，檢測(cè)難度大，清除難度大，可以直接破壞硬件，對(duì)于固件缺陷的檢測(cè)及防御，已逐漸引起了業(yè)界以及研究界的關(guān)注。開展此方面的研究，可以從硬件層保障整個(gè)信息系統(tǒng)的正常運(yùn)行，在學(xué)術(shù)和工程實(shí)踐上都具有極大的意義。
　　 本文以儲(chǔ)存在硬件芯片中的固件程序?yàn)檠芯繉?duì)象，重點(diǎn)研究固件代碼惡意行為的形式化描述理論和利用多通道技術(shù)對(duì)固件缺陷與惡意行為的檢測(cè)，本文主要貢獻(xiàn)如下:
　　 1.首先介紹了目前常用的

2、幾種針對(duì)固件惡意行為的描述方法，并討論了各種方法的優(yōu)缺點(diǎn)，借鑒以前基于行為規(guī)范的惡意行為描述方法，提出了一種新型的形式化描述方法。
　　 2.根據(jù)本文提出的述固件惡意行為的形式化描述理論，結(jié)合固件程序的特點(diǎn)，提出了一種針對(duì)固件代碼的多通道分析方法.這種方法以數(shù)據(jù)依賴分析、表達(dá)式替換獲取固件多通道分支條件為基本思想，以此為基礎(chǔ)解決通道條件分析、表達(dá)式求解產(chǎn)生輸入向量?jī)蓚€(gè)關(guān)鍵問題。采用這種技術(shù)可以比較全面獲取固件代碼的行為信息，從而