TD類漏洞及死鎖檢測(cè)系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、網(wǎng)絡(luò)應(yīng)用已滲透到社會(huì)的各行各業(yè)，網(wǎng)民對(duì)網(wǎng)絡(luò)安全的要求也日漸提高，網(wǎng)絡(luò)安全逐漸成為了各界日益關(guān)注的焦點(diǎn)。網(wǎng)絡(luò)應(yīng)用的本質(zhì)是軟件，因此軟件的安全問題是網(wǎng)絡(luò)安全的核心。如何在軟件發(fā)布前檢測(cè)并排除軟件中所存在的安全漏洞、提高軟件的穩(wěn)定性、降低軟件的風(fēng)險(xiǎn)已經(jīng)成為了一個(gè)新的研究課題。
　　 針對(duì)上述問題，本文就軟件安全問題中兩類典型的安全漏洞--污染數(shù)據(jù)和死鎖的檢測(cè)方法進(jìn)行了深入的研究，并詳細(xì)描述了污染數(shù)據(jù)類安全漏洞檢測(cè)系統(tǒng)與死鎖檢測(cè)系統(tǒng)的設(shè)

2、計(jì)與實(shí)現(xiàn)。
　　 本文具體的研究工作主要包括以下幾個(gè)方面。首先對(duì)污染數(shù)據(jù)和死鎖的檢測(cè)方法進(jìn)行深入調(diào)研，并總結(jié)了現(xiàn)有方法的優(yōu)缺點(diǎn)。就污染數(shù)據(jù)檢測(cè)方法而言，現(xiàn)有的檢測(cè)方法因?yàn)椴痪哂新窂矫舾械男再|(zhì)，因此存在較多的誤報(bào)。就死鎖的檢測(cè)方法而言，當(dāng)前的靜態(tài)分析技術(shù)皆不能對(duì)死鎖檢測(cè)這一問題進(jìn)行直接求解。其次，本文在現(xiàn)有的檢測(cè)方法的基礎(chǔ)上進(jìn)行了改進(jìn)，一方面，設(shè)計(jì)并實(shí)現(xiàn)了路徑敏感且上下文敏感的污染數(shù)據(jù)檢測(cè)系統(tǒng)，另一方面，提出了一種新的死鎖檢測(cè)框架

3、，該框架將死鎖檢測(cè)這一復(fù)雜問題分解成為四個(gè)子問題，進(jìn)而通過現(xiàn)有的靜態(tài)分析技術(shù)--可達(dá)分析、別名分析、并發(fā)分析、以及 Gatelock分析對(duì)這四個(gè)子問題獨(dú)立求解。最后，以 sourceforge網(wǎng)站上下載排名最前的七個(gè)開源軟件作為污染數(shù)據(jù)檢測(cè)系統(tǒng)的測(cè)試集，將本方法的檢測(cè)結(jié)果與另一款靜態(tài)分析軟件 Klocwork的檢測(cè)結(jié)果進(jìn)行了比較。通過比較結(jié)果可知，本文所提出的污染數(shù)據(jù)類安全漏洞的檢測(cè)方法在誤報(bào)率與漏報(bào)率這兩項(xiàng)評(píng)估指標(biāo)上都優(yōu)于 Klocw