四級安全操作系統(tǒng)SECOS的研究與實現(xiàn).pdf

1、隨著信息時代的來臨，國家、社會敏感信息與個人隱私的保護成為社會活動的一個重要主題。為了解決處于開放式網(wǎng)絡(luò)上主機的安全性保護的問題，各個國家都加快了對操作系統(tǒng)安全機制的研發(fā)。相對于其他發(fā)達(dá)國家，我國對操作系統(tǒng)的研發(fā)開始地較晚，因此構(gòu)建安全的操作系統(tǒng)，成為信息安全保障的一個重要熱點。而開源的操作系統(tǒng)Linux，以其出色的系統(tǒng)性能和開放的代碼資源、靈活的應(yīng)用適應(yīng)能力，成為了安全操作系統(tǒng)開發(fā)的良好平臺。 本文通過對Linux安全性機制及

2、其弱點的分析，在此基礎(chǔ)上實現(xiàn)了基于多級安全的SECOS(SecureOperationSystem)系統(tǒng)，SECOS是一個自主產(chǎn)權(quán)的安全操作系統(tǒng)，符合國家四級標(biāo)準(zhǔn)。本文總結(jié)了SECOS設(shè)計過程中的關(guān)鍵技術(shù)，包括安全增強/改進設(shè)計方法，在Bell-LaPadula強制訪問模型基礎(chǔ)上修改建立的理論模型及其實現(xiàn)，系統(tǒng)開發(fā)過程形式化設(shè)計，隱蔽信道分析方法及防范措施，客體重用幾個方面。安全系統(tǒng)性能估算測試表明，SECOS的設(shè)計和實現(xiàn)是成功的。