基于源代碼的隱蔽通道分析方法若干關(guān)鍵問(wèn)題的研究.pdf

1、面對(duì)信息化社會(huì)層出不窮的海量級(jí)信息,信息系統(tǒng)已成為信息處理必不可少的強(qiáng)有力的工具,信息系統(tǒng)的安全也越來(lái)越受到人們的廣泛重視。而作為信息系統(tǒng)底層支持的操作系統(tǒng)的安全是保證信息系統(tǒng)安全的前提,所以,操作系統(tǒng)安全成為計(jì)算機(jī)領(lǐng)域的研究熱點(diǎn)之一。對(duì)操作系統(tǒng)來(lái)說(shuō),許多威脅和攻擊是隱藏的,隱蔽通道就是其中一種。因此,準(zhǔn)確高效的隱蔽通道分析是保證操作系統(tǒng)安全的重要環(huán)節(jié),同時(shí)也是保證信息系統(tǒng)安全的基本前提。
　　 論文選取Linux內(nèi)核源碼為目標(biāo)

2、對(duì)象進(jìn)行隱蔽通道分析,對(duì)現(xiàn)有的隱蔽通道分析處理相關(guān)研究成果進(jìn)行歸納總結(jié),綜合比較和借鑒語(yǔ)法信息流分析法、共享資源矩陣法和隱蔽流樹(shù)分析法的優(yōu)劣及精髓,給出了基于源代碼的隱蔽通道分析方法的基本流程,并對(duì)其中存在的一些關(guān)鍵問(wèn)題展開(kāi)深入分析。主要地,分析Makefile文件并強(qiáng)化源代碼的預(yù)處理機(jī)制,以期實(shí)現(xiàn)分析范圍的科學(xué)準(zhǔn)確定位,為共享資源(主要體現(xiàn)為變量)和函數(shù)的獲取提供堅(jiān)實(shí)基礎(chǔ);設(shè)計(jì)和優(yōu)化信息流規(guī)則,為共享資源和函數(shù)間讀寫(xiě)關(guān)系的提取創(chuàng)造更為