操作系統(tǒng)隱蔽通道研究.pdf

1、語(yǔ)義信息流方法是對(duì)高安全操作系統(tǒng)進(jìn)行隱蔽通道分析的一個(gè)重要方法,該方法應(yīng)用廣泛,工程上隱蔽通道搜索大多采用該方法或者它的衍生方法。雖然該方法有著廣泛的應(yīng)用,但是該方法沒(méi)有完全利用程序自身的結(jié)構(gòu)化特性,信息流分析時(shí)忽略了函數(shù)依賴(lài)集FCD中各個(gè)函數(shù)之間的結(jié)構(gòu)化關(guān)系。正是因?yàn)檎Z(yǔ)義信息流的這種固有缺陷,在分析操作系統(tǒng)等大型軟件時(shí),分析過(guò)程難以控制。另外,傳統(tǒng)語(yǔ)義信息流方法采用先生成信息流,再化簡(jiǎn)的方式,在求函數(shù)依賴(lài)集信息流的時(shí)候,因?yàn)闆](méi)有退出機(jī)

2、制,容易產(chǎn)生狀態(tài)爆炸。本文通過(guò)對(duì)傳統(tǒng)語(yǔ)義信息流方法的改進(jìn),提出了一種化簡(jiǎn)與分析同時(shí)進(jìn)行的信息流方法。以局部變量生存區(qū)間為依據(jù),把源代碼劃分成有層次關(guān)系的塊結(jié)構(gòu),這種結(jié)構(gòu)與函數(shù)調(diào)用結(jié)構(gòu)相類(lèi)似。進(jìn)行塊信息流分析時(shí),首先分析塊的信息流,然后去除塊的局部變量化簡(jiǎn)塊,最后利用塊的化簡(jiǎn)結(jié)果分析更大的塊,這種分析方法遵循了程序自身的結(jié)構(gòu)化順序。如果在隱蔽通道分析過(guò)程中引入本方法,開(kāi)發(fā)人員可以按照程序設(shè)計(jì)時(shí)的思路理解分析的過(guò)程。與傳統(tǒng)語(yǔ)義信息流方法相比

3、,該方法分析工作有條理性、層次性,不會(huì)造成分析人員的混亂,分析的結(jié)果更容易被重用,節(jié)省工作量。
　　 另外,本論文設(shè)計(jì)了一個(gè)隱蔽通道分析的方案:首先,用基于塊的信息流的思想對(duì)源代碼的系統(tǒng)調(diào)用進(jìn)行信息流分析,得到這些系統(tǒng)調(diào)用的信息流,利用這些信息流標(biāo)識(shí)出這些系統(tǒng)調(diào)用可見(jiàn)和可修改的共享變量。然后,用這些共享變量構(gòu)造共享矩陣,通過(guò)對(duì)矩陣的分析標(biāo)識(shí)出潛在的隱蔽通道。最后,手工對(duì)潛在的隱蔽通道進(jìn)行場(chǎng)景構(gòu)造,確定真實(shí)的隱蔽通道。本文構(gòu)造了該