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

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

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