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

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

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

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