基于源代碼的隱通道搜索工具的研究及實(shí)現(xiàn).pdf

1、在上世紀(jì)七十年代以前，為保證計(jì)算機(jī)系統(tǒng)中的信息安全性，自主存取控制和強(qiáng)制存取控制策略在計(jì)算機(jī)多安全級(jí)系統(tǒng)中得到了廣泛的應(yīng)用。然而，實(shí)施了這兩種策略后的計(jì)算機(jī)系統(tǒng)仍然存在著安全隱患，其中就包括隱通道問(wèn)題。 本文在綜述隱通道分析方法和目前研究現(xiàn)狀的基礎(chǔ)上，解決了系統(tǒng)源代碼中信息流分析工作的自動(dòng)化進(jìn)行問(wèn)題，并與課題組已經(jīng)開(kāi)發(fā)的共享資源矩陣搜索方法相結(jié)合，提出了實(shí)現(xiàn)一個(gè)基于系統(tǒng)源代碼的隱通道搜索工具的研究思想。 論文首先討論了隱

2、通道的形式化定義；然后給出了基于系統(tǒng)源代碼的信息流自動(dòng)分析工具和隱通道搜索工具的設(shè)計(jì)方案；接下來(lái)詳細(xì)討論信息流分析工具的設(shè)計(jì)，為實(shí)現(xiàn)信息流分析的自動(dòng)化，提出了一種用于描述信息流的二叉樹(shù)結(jié)構(gòu)，并給出了這種信息流樹(shù)的構(gòu)造規(guī)則和保證樹(shù)中信息流準(zhǔn)確無(wú)誤的剪枝算法描述，設(shè)計(jì)并實(shí)現(xiàn)了利用此樹(shù)進(jìn)行信息流分析并生成記錄分析結(jié)果的信息流向圖的算法；接著，給出了信息流樹(shù)構(gòu)造算法和用作隱通道搜索方法輸入的共享資源矩陣的生成算法，并以此為基礎(chǔ)，詳細(xì)討論了基于系

3、統(tǒng)源代碼的隱通道搜索工具的設(shè)計(jì)與實(shí)現(xiàn)；最后，結(jié)合一個(gè)分析實(shí)例來(lái)說(shuō)明基于系統(tǒng)源代碼的隱通道搜索工具的實(shí)際應(yīng)用情況。 論文的主要貢獻(xiàn)點(diǎn)在于：1.提出了一套用樹(shù)結(jié)構(gòu)來(lái)描述系統(tǒng)源代碼中信息流的方法，并構(gòu)造出了這種便于存放信息流且易于實(shí)現(xiàn)的信息流樹(shù)。該樹(shù)結(jié)構(gòu)可以反映語(yǔ)句及函數(shù)中的信息流，并可通過(guò)遍歷樹(shù)將這些信息存放在直觀、易于理解的信息流向圖中，從而可以方便地為隱通道搜索方法提供信息流分析結(jié)果。 2.設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)基于系統(tǒng)源代碼