基于靜態(tài)分析的軟件安全性評估方法研究.pdf

1、在軟件安全領(lǐng)域存在兩個需要解決的問題：軟件漏洞的檢測和軟件漏洞潛在危害的評估。軟件漏洞檢測技術(shù)主要包括靜態(tài)檢測和動態(tài)檢測。靜態(tài)分析與動態(tài)分析相比具有時間消耗少和漏報率低等優(yōu)點。然而，現(xiàn)存的大部分軟件漏洞靜態(tài)檢測工具都是針對某一類漏洞，無法靈活的針對新出現(xiàn)的漏洞進行檢測。漏洞危害程度評估方法主要分為定性評估法、定量評估法和定性與定量相結(jié)合的評估法三類。目前，有很多成熟的、標準化的評估系統(tǒng)，但是，大部分僅僅針對單個漏洞評估，無法考慮多步攻擊

2、帶來的影響。
　　基于靜態(tài)分析的軟件安全性評估方法主要分為漏洞檢測和系統(tǒng)評估兩個步驟。漏洞檢測方法采用基于模式匹配的漏洞檢測技術(shù)。首先，對待測程序源碼進行解析，將其轉(zhuǎn)化為中間表示存放在自定義的數(shù)據(jù)結(jié)構(gòu)中。然后，用安全規(guī)則語言描述漏洞并解析安全規(guī)則，將其轉(zhuǎn)換成對應(yīng)的自動機模型存放在內(nèi)存中。最后，將源代碼中間表示與安全規(guī)則進行模式匹配，并對自動機進行狀態(tài)轉(zhuǎn)化，根據(jù)自動機狀態(tài)向用戶提交漏洞報告?？紤]到聯(lián)合利用多個漏洞對系統(tǒng)造成的潛在危害

3、，提出了關(guān)聯(lián)漏洞的概念。首先，從關(guān)聯(lián)漏洞模式庫中提取出關(guān)聯(lián)特征。然后，掃描漏洞報告列表，將符合某一種關(guān)聯(lián)漏洞模式的漏洞作為一個集合存放在關(guān)聯(lián)漏洞列表中，通過多次掃描可以將漏洞報告列表劃分為多個關(guān)聯(lián)漏洞集合和一個非關(guān)聯(lián)漏洞集合。最后，以CVSS評估體系為基礎(chǔ)，計算每組關(guān)聯(lián)漏洞的權(quán)重因子，再根據(jù)權(quán)重因子以及對漏洞報告列表的劃分對系統(tǒng)做出綜合評估。
　　實驗結(jié)果表明，安全規(guī)則描述語言能夠描述多種形式的漏洞，漏報率低、擴展性好、時間消耗少