基于模型的軟件安全性分析與研究.pdf

1、軟件安全事件的頻繁發(fā)生引起人們極大關(guān)注，對(duì)軟件的安全性進(jìn)行準(zhǔn)確客觀地分析與評(píng)估，是軟件安全保障的前提和必要條件，本文正是基于此點(diǎn)展開(kāi)論述與研究的。 為有效表示和檢測(cè)軟件中存在的安全隱患和缺陷，本文提出了一種基于模型的軟件安全分析技術(shù)。該技術(shù)主要包括三個(gè)方面內(nèi)容及創(chuàng)新點(diǎn)：安全建模、切片和安全檢測(cè)。 安全建模在安全檢測(cè)中起著重要作用，一般的安全模型針對(duì)粗粒度安全特性進(jìn)行表示與檢測(cè)，如 MOPS，或針對(duì)細(xì)粒度安全特性進(jìn)行表示與

2、檢測(cè)，如 Slam。本文通過(guò)多點(diǎn)建模技術(shù)結(jié)合抽象模型、應(yīng)用模型和數(shù)據(jù)模型來(lái)表示不同的安全特征，可以有效提高安全特征表示與檢測(cè)的效率。 為收縮狀態(tài)空間、壓縮軟件路徑提高安全檢測(cè)的效率和可行性，本文提出基于應(yīng)用的切片技術(shù)，該技術(shù)通過(guò)切片準(zhǔn)則與安全模型的緊密結(jié)合有效彌補(bǔ)了常規(guī)切片技術(shù)計(jì)算量大和切片失真的缺點(diǎn)。 在安全檢測(cè)方面，本文提出一種建立在安全依賴基礎(chǔ)之上的安全預(yù)測(cè)技術(shù)，填補(bǔ)了目前軟件安全分析與檢測(cè)的盲點(diǎn)，可以更好地反映軟