基于Hermit的推理機原型系統(tǒng)研究及等級保護本體建模與分析.pdf

1、人類社會自進入信息化時代以來，信息技術(shù)不斷發(fā)展，各種各樣的信息系統(tǒng)層出不窮。但是信息技術(shù)在給各個領(lǐng)域的信息管理和使用帶來便捷的同時也帶來了不容忽視的安全性問題。我國的信息系統(tǒng)安全等級保護標準就是按照信息系統(tǒng)重要程度以及實際安全需求對其進行合理的分級防護，保障信息系統(tǒng)安全，促進信息化建設的健康發(fā)展。
　　為了將等級保護中的知識和規(guī)則共享和重用，簡化安全評估人員的工作并形成規(guī)范，就需要將等級保護標準形式化和規(guī)范化。網(wǎng)絡本體的概念很好的

2、解決了這個問題。運用本體來對我國的等級保護規(guī)則進行規(guī)約化，不僅可以將等級保護中各項復雜概念之間的邏輯關(guān)聯(lián)清晰地表達出來，而且還能夠判斷等級保護標準中內(nèi)容的一致性和包含性。
　　同時，在進行等級保護本體建模的過程中，我們發(fā)現(xiàn)對于有些等級保護要求，原有的本體概念和描述邏輯概念無法進行簡潔清晰地描述，進而導致建成的本體模型不易理解，降低推理機效率。這就需要引入一些新的描述邏輯規(guī)則，增加描述邏輯的表達能力。同時，需要對推理機的內(nèi)部構(gòu)造進行

3、研究與分析，實現(xiàn)推理機對于新引入規(guī)則的支持。
　　首先，本文通過對各個級別等級保護基本要求的研究與對比分析，構(gòu)建了一個本體建模體系對等級保護基本要求中的語句進行形式化的描述，進而得到等級保護安全本體模型。然后，通過一個具體的實例，講述了基于安全本體的等級保護評估過程以及實例評估項的設計，接著運用Hermit推理機對實例形式化描述結(jié)果進行推理分析，得到等級保護安全評估結(jié)果。最后，本文對Hermit推理機原型系統(tǒng)進行了研究，分析了He