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

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

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

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