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

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

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