JVM運(yùn)行時(shí)庫(kù)安全策略的全自動(dòng)檢測(cè)方法研究.pdf

1、Java語(yǔ)言的平臺(tái)無(wú)關(guān)性，是由于在不同操作系統(tǒng)平臺(tái)之上運(yùn)行了自身的虛擬機(jī)(JVM)。JVM運(yùn)行時(shí)庫(kù)通過(guò)調(diào)用自身庫(kù)函數(shù)的安全管理器類能夠?qū)崿F(xiàn)各種各樣的安全策略來(lái)保證平臺(tái)安全性，其中非常重要的一條安全策略是保證程序在執(zhí)行敏感操作之前必須進(jìn)行相應(yīng)的訪問(wèn)控制權(quán)限檢查。
　　 傳統(tǒng)上依賴于人工分析來(lái)確保JVM運(yùn)行時(shí)庫(kù)滿足該安全策略，由于Java標(biāo)準(zhǔn)類庫(kù)涵蓋上千個(gè)類，上萬(wàn)個(gè)方法，而且處于快速的發(fā)展和演化過(guò)程中，人工分析費(fèi)時(shí)費(fèi)力，容易出錯(cuò)。近

2、年來(lái)出現(xiàn)的半自動(dòng)檢測(cè)工具，雖然解決了從輸入到輸出的自動(dòng)化，但是由于產(chǎn)生了大量的誤報(bào)，其后期仍然需要引入大量人工分析工作來(lái)排除這些誤報(bào)，依舊低效。
　　 針對(duì)上述問(wèn)題，本文在研究相關(guān)工作的基礎(chǔ)上，結(jié)合半自動(dòng)檢測(cè)工具的優(yōu)點(diǎn)，提出一種針對(duì)JVM運(yùn)行時(shí)庫(kù)安全策略的全自動(dòng)檢測(cè)方法(FADM)。主要工作是：首先，設(shè)計(jì)并實(shí)現(xiàn)了FADM系統(tǒng)，通過(guò)掃描Java標(biāo)準(zhǔn)類庫(kù)字節(jié)碼文件，將類的成員方法生成控制流圖，通過(guò)定義檢驗(yàn)?zāi)Ｐ?，結(jié)合污點(diǎn)分析計(jì)算出方法

3、摘要，自動(dòng)檢測(cè)出風(fēng)險(xiǎn)方法。其次，詳細(xì)描述了FADM的檢驗(yàn)算法，通過(guò)引入隊(duì)列技術(shù)和污點(diǎn)分析技術(shù)實(shí)現(xiàn)了自動(dòng)化檢測(cè)，并對(duì)算法性能進(jìn)行了分析。最后，從時(shí)間開(kāi)銷和誤報(bào)率兩個(gè)方面進(jìn)行性能測(cè)試，實(shí)驗(yàn)結(jié)果表明，在時(shí)間開(kāi)銷基本相同的情況下，F(xiàn)ADM將傳統(tǒng)的半自動(dòng)檢測(cè)方法的誤報(bào)率降低了一個(gè)數(shù)量級(jí)，檢測(cè)完全自動(dòng)，無(wú)需人工參與。
　　 該系統(tǒng)可以自動(dòng)地檢驗(yàn)出Java標(biāo)準(zhǔn)類庫(kù)中的風(fēng)險(xiǎn)方法。具有高效、可擴(kuò)展的特點(diǎn)，能夠正確評(píng)估JVM運(yùn)行時(shí)庫(kù)安全策略的可靠性