基于依賴圖的系統(tǒng)信息流脈絡網(wǎng)構建方法研究.pdf

1、隱通道問題使實施自主存取控制和強制存取控制的多安全級軟件系統(tǒng)有了新的挑戰(zhàn)，成為開發(fā)高等級可信軟件系統(tǒng)過程中的難點和關鍵問題，在國際上得到了充分的重視。信息流分析法是最早的隱通道分析方法，也是一種有效的隱通道分析方法。 為了詳細、準確地描述系統(tǒng)中的信息流，本文基于系統(tǒng)源代碼構建了系統(tǒng)信息流脈絡網(wǎng)，它包含不同層次的信息流圖，這些信息流圖為信息流分析法分析隱通道提供基礎信息流輸入。簡單地按著信息流規(guī)則直接構建系統(tǒng)的信息流圖，由于信息流

2、固有的各種性質，分析時會導致信息流圖中不同信息流路徑的交叉，引入大量的偽信息流路徑，增加分析工作量。同時，目前對信息流圖分析工作的窮舉性，使信息流分析工作量與信息流圖規(guī)模成正比，為了降低分析難度，需要構建規(guī)模盡可能小的信息流圖。本文的目的就是為了減少信息圖中的偽信息流路徑，構建一系列規(guī)模小、分析難度低的信息流圖。 本文的創(chuàng)新有兩個方面：一是基于依賴圖，結合不同程序語句間的依賴關系抽取變量間信息流構建信息流圖，不是單純針對程序中每

3、條語句抽取信息流；二是變量問信息流只考慮其源點變量和終點變量，忽略變量間信息流傳遞路徑，從而避免信息流圖中信息流路徑的交叉，大大減少的偽信息流路徑。 本文所描述的方法主要有三個過程：第一步，基于系統(tǒng)程序源代碼的控制流圖，確定語句間的數(shù)據(jù)依賴關系和控制依賴關系，構建程序依賴圖；第二步，基于程序依賴圖進行傳遞依賴處理，構建傳遞依賴圖，這一過程實質上處理了信息流的傳遞性；第三步，基于傳遞依賴圖生成信息流，構建系統(tǒng)信息流脈絡網(wǎng)中的各種信

4、息流圖。本文最終構建了系統(tǒng)信息流脈絡網(wǎng)中的一系列信息流圖：描述函數(shù)內(nèi)部變量之間信息流的函數(shù)信息流子圖和函數(shù)信息流完全圖、描述系統(tǒng)中各個函數(shù)之間的函數(shù)間信息流圖和函數(shù)間信息流簡圖、描述系統(tǒng)中各變量之間信息流的系統(tǒng)信息流圖。這些信息流圖從不同的層次和不同的角度描述了系統(tǒng)中的信息流?？紤]到信息流的傳遞性和同源性，它們儀描述了信息流的源點和終點，不再考慮信息流的傳遞路徑，從而避免了不同信息流路徑在信息流圖中的交叉，避免了信息流的傳遞性引進偽信息