JVM運行時庫安全策略的全自動檢測方法研究.pdf

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

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

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