SELinux安全策略分析自動(dòng)化研究.pdf

1、隨著信息技術(shù)的迅速發(fā)展以及互聯(lián)網(wǎng)的廣泛深入，信息系統(tǒng)在人類社會(huì)中扮演著越來越重要的角色，而處于信息系統(tǒng)底層的操作系統(tǒng)，是計(jì)算機(jī)資源的直接管理者，其安全問題是信息系統(tǒng)安全的前提和保障。SELinux子系統(tǒng)可以實(shí)施強(qiáng)制訪問控制策略，并提供靈活的安全策略配置，保證整個(gè)系統(tǒng)的安全，該系統(tǒng)對(duì)于我們研究和開發(fā)自主版權(quán)的安全操作系統(tǒng)具有很好的參考價(jià)值和借鑒意義。特別地，考慮到其復(fù)雜的策略配置，在一定程度上使SELinux的應(yīng)用受到了限制，因此論文主要

2、針對(duì)SELinux安全策略配置及其完整性和有效性分析的自動(dòng)化方法進(jìn)行了研究。
　　安全策略分析一直以來都是Linux安全操作系統(tǒng)中研究的重要問題。因此論文選取SELinux參考策略文件為基本分析對(duì)象，對(duì)SELinux系統(tǒng)進(jìn)行安全策略分析的相關(guān)研究。論文首先介紹了SELinux的安全體系結(jié)構(gòu)、安全機(jī)制和策略描述語言，討論了經(jīng)典的安全策略分析方法，包括訪問控制空間分析法、信息流分析法和基于有色Petri網(wǎng)的安全策略分析法。在此基礎(chǔ)上，