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

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

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

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

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