基于本體的虛擬化系統(tǒng)安全模型校驗(yàn)方法研究.pdf

1、在進(jìn)入21世紀(jì)后，IT業(yè)務(wù)快速發(fā)展和增長(zhǎng)，普通信息系統(tǒng)面臨著資源獨(dú)占利用率低、能耗高、業(yè)務(wù)上線周期長(zhǎng)、業(yè)務(wù)連續(xù)性保障機(jī)制弱、故障恢復(fù)時(shí)間長(zhǎng)、運(yùn)維管理成本高等諸多挑戰(zhàn)。在這樣的背景下云計(jì)算應(yīng)運(yùn)而生。在云計(jì)算體系中，虛擬化技術(shù)被廣泛用于虛擬化資源管理等云計(jì)算關(guān)鍵組件。因此，虛擬化系統(tǒng)的安全對(duì)于云計(jì)算平臺(tái)的安全至關(guān)重要，研究云計(jì)算虛擬化的安全有著重要的現(xiàn)實(shí)意義。
　　本文重點(diǎn)研究和探討了虛擬化層次性安全規(guī)約設(shè)計(jì)和基于本體虛擬化系統(tǒng)安全模

2、型校驗(yàn)的方法，為虛擬化安全的研究做出了初步的嘗試。本文的主要研究工作可歸納如下：
　?。?）提出了一種面向云平臺(tái)的虛擬化層次性安全規(guī)約。該層次性規(guī)約從虛擬網(wǎng)絡(luò)安全、主機(jī)安全、虛擬機(jī)管理器安全、數(shù)據(jù)安全、運(yùn)行維護(hù)安全五大類(lèi)別分解描述系統(tǒng)的安全需求。并在規(guī)約展開(kāi)后對(duì)作為常規(guī)信息系統(tǒng)安全檢查與評(píng)估的內(nèi)容補(bǔ)充而未納入虛擬化信息系統(tǒng)檢查的控制點(diǎn)與控制項(xiàng)做出了改進(jìn)和完善。
　?。?）基于本體的安全規(guī)約OVLSS建模研究。針對(duì)常見(jiàn)國(guó)內(nèi)安全

3、標(biāo)準(zhǔn)的自然語(yǔ)言表達(dá)形式進(jìn)行了基于本體類(lèi)的安全規(guī)約描述，并以此對(duì)面向云平臺(tái)的虛擬化層次性安全規(guī)約進(jìn)行形式化，并使用 Protégé建立了OVLSS模型。
　?。?）提出了一種虛擬化層次性安全規(guī)約校驗(yàn)方法。該方法主要根據(jù)目標(biāo)虛擬化系統(tǒng)建模并基于安全本體進(jìn)行邏輯推理，對(duì)規(guī)約中每個(gè)控制項(xiàng)本體所需要滿足的安全要求形式化后進(jìn)行逐一比對(duì)產(chǎn)生并集，生成的安全要求并集取合即為控制項(xiàng)所符合的安全等級(jí)要求。
　　（4）基于某云平臺(tái)的虛擬化組件進(jìn)行