基于硬件資源訪問控制的固件惡意行為研究

摘要：固件與傳統的應用軟件一樣，都有可能存在木馬、后門、邏輯炸彈等具有惡意行為的代碼。由于固件具有硬件相關性、任務執行的階段性與高內聚性等特點，使得傳統的程序惡意行為描述方法不能適用于固件程序。探討了固件程序及固件惡意行為的特點和本質特征，描述了一種基于硬件資源訪問控制策略的固件程序惡意行為形式化建模和檢測方法，并對該方法的有效性進行了實驗驗證。