基于決策樹的操作系統(tǒng)隱通道研究.pdf

1、隱通道自提出來以后就備受關(guān)注，目前隱通道的檢測主要以靜態(tài)方法為主，這些方法缺少相應(yīng)的自動化工具，人工分析工作量大，容易出錯，并且標識出的隱通道中包含大量的偽隱通道。針對靜態(tài)隱通道標識方法存在的不足之處，提出了一種動態(tài)為主、靜態(tài)為輔的隱通道標識方法，該方法結(jié)合關(guān)聯(lián)規(guī)則算法和決策樹算法，可以自動化、高效的標識出系統(tǒng)中存在的隱通道。詳細的研究內(nèi)容分為以下四個方面：
　?。?）總結(jié)隱通道存在的最小條件。通過大量研究分析，總結(jié)出隱通道存在的

2、四個最小條件。①存在一個高安全等級發(fā)送主體；②存在一個低安全等級接收主體；③發(fā)送主體和接收主體有共享變量，并且發(fā)送主體可以修改變量屬性，接收主體可以感知變量屬性的變化；④兩個主體之間存在一種同步機制。
　　（2）改進關(guān)聯(lián)規(guī)則算法。針對關(guān)聯(lián)規(guī)則算法挖掘出的規(guī)則集中存在大量無效規(guī)則的不足之處，提出了一種改進的關(guān)聯(lián)規(guī)則算法。首先，應(yīng)用卡方檢驗去除相互獨立的規(guī)則；其次，對興趣度進行了重新定義，去除負相關(guān)的規(guī)則；最后結(jié)合隱通道特性，對規(guī)則集

3、再進行一次篩選，去除無效規(guī)則，使算法生成的規(guī)則集更加高效。
　　（3）應(yīng)用改進關(guān)聯(lián)規(guī)則算法標識隱通道。高安全等級TCB原語可以修改共享變量，低安全等級TCB原語可以感知共享變量的變化，通過對共享變量的操作，可以實現(xiàn)高安全等級TCB原語向低安全等級的TCB原語傳遞信息，構(gòu)成隱通道。因此只要找到這兩個TCB原語，就標識出了隱通道。首先監(jiān)控系統(tǒng)中系統(tǒng)調(diào)用被執(zhí)行的時間和順序，然后應(yīng)用改進關(guān)聯(lián)規(guī)則算法的數(shù)據(jù)挖掘功能，找出符合條件的TCB原語