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

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

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

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