【摘要】云計(jì)算平臺(tái)通過Internet提供各種服務(wù)，這種開放式的模式在方便用戶訪問的同時(shí)，也帶來了潛在的安全隱患。云計(jì)算平臺(tái)通常以虛擬機(jī)系統(tǒng)作為底層架構(gòu)，因此虛擬機(jī)系統(tǒng)的安全是云計(jì)算安全的核心。本文對(duì)此進(jìn)行了研究和探索。

【關(guān)鍵詞】云計(jì)算虛擬主機(jī)安全

一、云計(jì)算概述

隨著當(dāng)今對(duì)海量數(shù)據(jù)和復(fù)雜計(jì)算的日益需求，計(jì)算模式已經(jīng)從集中式向分布式演變，典型的例子如網(wǎng)格計(jì)算、云計(jì)算等。當(dāng)前，云計(jì)算逐漸成為學(xué)術(shù)界和產(chǎn)業(yè)界的熱點(diǎn)和焦點(diǎn)，它與網(wǎng)格計(jì)算既在架構(gòu)和技術(shù)上有很多共同點(diǎn)，也在安全性、編程模型、計(jì)算模型、應(yīng)用等方面具有差異。

云計(jì)算是一種新型的計(jì)算模式，它以服務(wù)的形式為用戶提供各種計(jì)算資源，如服務(wù)器、存儲(chǔ)資源和應(yīng)用程序等。用戶可以使用各種不同的客戶端（如個(gè)人電腦、手機(jī)等）通過網(wǎng)絡(luò)來訪問云計(jì)算平臺(tái)提供的服務(wù)。通過這種方式，用戶無需在本機(jī)上安裝需要的應(yīng)用，而是通過如瀏覽器之類的工具來訪問和使用位于云端的應(yīng)用。云計(jì)算能即時(shí)響應(yīng)用戶需要的計(jì)算資源，即根據(jù)用戶的需求供給或者回收相應(yīng)的資。用戶可以在開始時(shí)只申請(qǐng)一部分資源，當(dāng)需求增加時(shí)，向云服務(wù)供應(yīng)商申請(qǐng)更多的計(jì)算資源。而當(dāng)應(yīng)用對(duì)資源的需求降低時(shí)，相應(yīng)的資源將被回收。用戶根據(jù)得到的計(jì)算資源和服務(wù)來付費(fèi)，這種模式有效節(jié)約了系統(tǒng)計(jì)算資源和用戶所需要付出的成本。

二、虛擬化技術(shù)概述

虛擬化技術(shù)是云計(jì)算的基礎(chǔ)，隨著云計(jì)算的流行，它也受到了越來越廣泛的關(guān)注。近年來，虛擬化技術(shù)的快速發(fā)展主要得益于硬件日益增長(zhǎng)的計(jì)算能力和不斷降低的成本。虛擬化技術(shù)能夠?qū)崿F(xiàn)在一臺(tái)物理機(jī)上運(yùn)行多臺(tái)虛擬機(jī)，在每臺(tái)虛擬機(jī)中分別運(yùn)行不同的操作系統(tǒng)和應(yīng)用程序，并且虛擬機(jī)之間具有良好的隔離性。這些都是通過在硬件之上增加一層稱之為虛擬機(jī)監(jiān)控器（Virtual Machine Monitor，VMM）的軟件層來實(shí)現(xiàn)的。

除此之外，還有一種稱之為半虛擬化的技術(shù)（paravirtualization）。這種技術(shù)中，虛擬機(jī)監(jiān)控器為上層虛擬機(jī)提供一個(gè)修改過的硬件抽象，而不是與真實(shí)硬件完全一致的硬件抽象。虛擬機(jī)監(jiān)控器和虛擬機(jī)中的操作系統(tǒng)結(jié)合更緊密，相比全虛擬化有更好的性能表現(xiàn)。

三、虛擬主機(jī)系統(tǒng)安全

在云計(jì)算平臺(tái)，尤其是私有云和社區(qū)云中，虛擬機(jī)之間通常需要進(jìn)行交互和通信。然而這種交互為攻擊和惡意軟件的傳播提供了可能，需要有一種機(jī)制來保證虛擬機(jī)通信場(chǎng)景下的安全。為此，Virt-BLP模型是一個(gè)針對(duì)虛擬機(jī)系統(tǒng)定制的關(guān)于多級(jí)安全的強(qiáng)制訪問控制模型。為了實(shí)現(xiàn)這一目標(biāo)，它定義了一系列的模型元素、安全公理和狀態(tài)轉(zhuǎn)換規(guī)則。云計(jì)算平臺(tái)中，客戶虛擬機(jī)負(fù)責(zé)向用戶提供服務(wù)，而特權(quán)虛擬機(jī)和虛擬機(jī)監(jiān)控器一般由云服務(wù)供應(yīng)商管理，根據(jù)這一特征，當(dāng)特權(quán)虛擬機(jī)作為主體時(shí)，Virt-BLP模型將其定義為可信主體。模型中的一些狀態(tài)轉(zhuǎn)換規(guī)則只能由可信主體來執(zhí)行，這樣實(shí)現(xiàn)了特權(quán)虛擬機(jī)對(duì)客戶虛擬機(jī)之間訪問和通信進(jìn)行管理和控制的目的。于是在提供強(qiáng)制訪問控制的同時(shí)，Virt-BLP模型也實(shí)現(xiàn)了部分的自主訪問控制，很好地適應(yīng)了虛擬機(jī)系統(tǒng)的特點(diǎn)?；赩irt-BLP模型，在Xen虛擬機(jī)系統(tǒng)中設(shè)計(jì)和實(shí)現(xiàn)了關(guān)于多級(jí)安全的強(qiáng)制訪問控制框架VMAC，驗(yàn)證實(shí)驗(yàn)表明它成功地在Xen系統(tǒng)中映射了Virt-BLP模型的功能。Virt-BLP模型是一個(gè)通用的模型，其它虛擬機(jī)系統(tǒng)可以在它的基礎(chǔ)上設(shè)計(jì)自己的強(qiáng)制訪問控制框架?？蛻籼摂M機(jī)在云計(jì)算平臺(tái)中為用戶提供服務(wù)，保證它的安全才能使用戶有一個(gè)安全地獲取云計(jì)算服務(wù)的環(huán)境。針對(duì)客戶虛擬機(jī)用戶級(jí)應(yīng)用程序的運(yùn)行時(shí)安全和內(nèi)核的運(yùn)行時(shí)安全進(jìn)行了研究。在應(yīng)用級(jí)安全方面，提出了虛擬機(jī)內(nèi)度量框架Hyperivm，它用于判斷客戶虛擬機(jī)應(yīng)用程序運(yùn)行時(shí)的狀態(tài)。度量模塊對(duì)運(yùn)行在客戶虛擬機(jī)中的可執(zhí)行文件進(jìn)行度量并產(chǎn)生度量值，這些度量值通過虛擬機(jī)間通信機(jī)制傳遞到特權(quán)虛擬機(jī)，保存在度量列表中。參照列表中保存的可信度量值用于在驗(yàn)證時(shí)與度量列表中的對(duì)應(yīng)值進(jìn)行比較，以判斷可執(zhí)行文件的狀態(tài)。可信平臺(tái)模塊（Trusted Platform Module，TPM）被用來保證度量列表和參照列表的完整性。在半虛擬化Xen系統(tǒng)中實(shí)現(xiàn)了一個(gè)Hyperivm虛擬機(jī)內(nèi)度量框架的原型，在保護(hù)應(yīng)用程序安全的基礎(chǔ)上，它在性能評(píng)估中表現(xiàn)出良好的效率。

通過搜索客戶虛擬機(jī)內(nèi)核內(nèi)存來獲取監(jiān)控過程中所需關(guān)鍵值的做法，大大提高了監(jiān)控過程的健壯性。根據(jù)CPU負(fù)載自調(diào)整監(jiān)控頻率的策略，在提高檢測(cè)率的同時(shí)，也減少了不必要的性能開銷。策略中心作為Hyperchk框架的驅(qū)動(dòng)，它的可定制化特性使得本虛擬機(jī)動(dòng)態(tài)監(jiān)控框架具有良好的擴(kuò)展性和靈活性。在半虛擬化Xen中實(shí)現(xiàn)的Hyperchk框架原型系統(tǒng)，不僅能有效地檢測(cè)針對(duì)客戶虛擬機(jī)的內(nèi)核rootkit攻擊，同時(shí)在不同負(fù)載情況下均有良好的性能表現(xiàn)。