基于有限狀態(tài)自動(dòng)機(jī)的隱蔽信息流研究.pdf

1、隨著國(guó)家、社會(huì)對(duì)計(jì)算機(jī)和網(wǎng)絡(luò)技術(shù)的依賴程度日益增長(zhǎng)，信息安全問(wèn)題越來(lái)越受到人們的重視。系統(tǒng)的保密性在很大程度上直接決定了系統(tǒng)的安全性，發(fā)現(xiàn)和阻止機(jī)密信息的擴(kuò)散是信息安全研究和實(shí)踐經(jīng)常遇到的問(wèn)題。訪問(wèn)控制機(jī)制是保護(hù)信息機(jī)密性、完整性的重要手段，但即使實(shí)施了強(qiáng)制訪問(wèn)控制機(jī)制的信息系統(tǒng)中仍然會(huì)發(fā)生低安全等級(jí)用戶通過(guò)隱蔽信道獲取高安全等級(jí)信息的問(wèn)題，對(duì)于這類問(wèn)題主要通過(guò)基于信息流方法檢測(cè)隱蔽信道。
　　靜態(tài)信息流監(jiān)控技術(shù)手工工作量大，易誤

2、判不安全信息流通道。動(dòng)態(tài)信息流控制技術(shù)雖然處于起步階段，但是解決了靜態(tài)信息流監(jiān)控技術(shù)存在的問(wèn)題。然而，現(xiàn)有的動(dòng)態(tài)信息流監(jiān)控技術(shù)還不能監(jiān)控到復(fù)雜的不安全信息流的通道。為了解決上述問(wèn)題，并且能夠?qū)崟r(shí)檢測(cè)并處理系統(tǒng)中的隱蔽信息流，本文的主要研究?jī)?nèi)容如下：
　　（1）根據(jù)隱蔽信息流動(dòng)態(tài)分析的需求對(duì)有限狀態(tài)自動(dòng)機(jī)做出改善，在有限狀態(tài)自動(dòng)機(jī)的基礎(chǔ)之上增加標(biāo)簽函數(shù)和標(biāo)識(shí)符，使有限狀態(tài)自動(dòng)機(jī)獲得了較好的適應(yīng)性，并以改善后的有限狀態(tài)自動(dòng)機(jī)為工具提出

3、了一種對(duì)信息流的動(dòng)態(tài)監(jiān)控方法。該方法在保持原有動(dòng)態(tài)信息流監(jiān)控技術(shù)的優(yōu)點(diǎn)的基礎(chǔ)上，能夠?qū)崿F(xiàn)對(duì)此類隱蔽信息流進(jìn)行監(jiān)控。
　?。?）根據(jù)安全操作系統(tǒng)SELinux系統(tǒng)的安全要求，使用改進(jìn)后的有限狀態(tài)自動(dòng)機(jī)對(duì)隱蔽信息流監(jiān)控后并能夠妥善的處理。
　　（3）在實(shí)際系統(tǒng)中檢驗(yàn)本論文所提出的方法。在含有已知不安全信息流的仿真環(huán)境中，使用改進(jìn)方法對(duì)實(shí)際系統(tǒng)進(jìn)行監(jiān)控，通過(guò)實(shí)驗(yàn)結(jié)果以驗(yàn)證該方法的正確性和有效性。
　　基于有限狀態(tài)自動(dòng)機(jī)的隱蔽