安全操作系統(tǒng)安全策略與可信應用環(huán)境構(gòu)建研究.pdf

1、操作系統(tǒng)安全是信息安全的基石，開發(fā)出具有我國自主知識產(chǎn)權(quán)的高安全等級操作系統(tǒng)已經(jīng)迫在眉睫。一個高安全級別的操作系統(tǒng)，不僅要提供相應的安全功能，同時也要支持良好的應用。然而目前已有安全操作系統(tǒng)大多注重安全機制本身的開發(fā)，忽視了對已有應用的支撐，使得底層的安全操作系統(tǒng)與上層的應用脫節(jié)，因此在現(xiàn)有的安全操作系統(tǒng)的基礎上，構(gòu)建可信的應用環(huán)境，為每個應用制定靈活合理的安全策略支撐，對等級保護的推廣和整個信息系統(tǒng)的安全建設都具有重要的意義。

2、　　 本論文的研究工作是“等級化信息系統(tǒng)安全建設實驗環(huán)境與檢驗平臺-四級安全應用平臺”課題中一部分，在四級Linux安全應用平臺基礎上，從構(gòu)建可信應用環(huán)境的目標出發(fā)，在安全策略和可信應用環(huán)境的構(gòu)建方法兩個方面進行了研究。
　　 在安全策略方面：
　　 第一、分析了安全策略模型BLP和Biba，并結(jié)合實際安全需求指出了它們的不足之處，進而深入研究了二維的強制訪問安全策略模型，并在四級Linux安全子系統(tǒng)中實現(xiàn)了該模型，最

3、后解決了在實際當中不同級別之間信息流的雙向流動問題，最后給出了二維模型在實際工程中的實現(xiàn)方法。
　　 第二、研究了四級Linux安全應用平臺審計機制的設計與實現(xiàn)，并基于審計機制提出了一種面向生產(chǎn)信息系統(tǒng)應用的安全策略生成機制，這種機制不但可以預先為應用生成合理的安全策略，并且方便管理員進行模板化的管理與使用。
　　 在構(gòu)建可信應用環(huán)境方面：
　　 研究了可信計算和系統(tǒng)安全機制的關(guān)系，依據(jù)系統(tǒng)應用軟件包之間的依賴關(guān)