sJava編譯器的設計與實現(xiàn).pdf

1、雖然在上世紀七十年代信息流控制理論就成為信息安全三大控制理論之一，但由于缺乏在實際信息系統(tǒng)開發(fā)中的應用，由信息流泄露引發(fā)的信息安全問題依然層出不窮。目前信息系統(tǒng)的開發(fā)采用的大都是采用面向對象技術，但現(xiàn)有的主流程序設計語言雖然支持面向對象技術，卻不支持程序內(nèi)部性安全信息流驗證功能，進而不能支持安全信息系統(tǒng)的開發(fā)。本文主要在研究信息流控制理論基礎上，通過對Java編譯器進行安全性增強。
　　本研究主要內(nèi)容包括：⑴在介紹Java語言體系

2、結構后，對Java語言的安全特性進行了分析，并在此基礎上依次對Java平臺、Java2引入的安全體系進行了分析，而后對Java虛擬機特別是Java類裝載器以及Java API的安全性進行了分析。通過上述分析，確定了論文下一步將通過對Java編譯器進行安全性增強，使得經(jīng)過安全增強的編譯器（本文稱為sJava）具有一定的信息流控制能力。⑵在介紹格與信息流動策略基礎上，詳細分析了基于信息流控制的安全格模型的特點和安全性；而后進一步對兩種典型信

3、息流安全模型BLP模型和Biba模型的安全性進行了分析，特征是對BLP模型在實際系統(tǒng)中的適應性進行了分析。在上述兩個經(jīng)典模型分析基礎上，從對Java編譯器進行安全增強的角度，在詳細介紹實驗室團隊早期研究成果擴展的軍用安全模型后，結合編譯機制信息流控制方法，對后續(xù)對Java編譯器進行安全性增強進行了分析。⑶基于Java 編譯的編譯機制和擴展軍用安全模型設計了sJava 詞法分析方法，而后依據(jù)該方法在 Java 原編譯器基礎上對sJava

4、的核心字進行定義，并對sJava編譯器中數(shù)字、字符串和數(shù)組的處理方法進行了說明。⑷在對Jikes編譯器進行語法分析后，基于擴展軍用安全模型對sJava進行語法安全增強的設計與實現(xiàn)。該部分是對Java編譯器進行安全增強的主要部分，主要包括對賦值語句、變量聲明、復合語句、選擇語句、循環(huán)語句和主要函數(shù)語法進行了修改。⑸在對Jikes編譯器進行詞法、語法安全增強的基礎上，對sJava編譯器的語義進行相關改進。主要工作包括基于四元式的簡單賦值語句