虛擬機(jī)系統(tǒng)的可信檢測(cè)與度量.pdf

1、虛擬化技術(shù)是一種在工業(yè)界以及學(xué)術(shù)界快速成長(zhǎng)的技術(shù)。虛擬化技術(shù)包括軟件虛擬化以及硬件虛擬化技術(shù)。其給計(jì)算資源的共享與管理帶來(lái)很多的便利之處。虛擬化技術(shù)作為”云計(jì)算”的重要組成部分,其隨著”云計(jì)算”的發(fā)展而更加的完善,被越來(lái)越多的應(yīng)用于人們的日常生活之中。與此同時(shí),安全問(wèn)題一直是一個(gè)非常重要的問(wèn)題,在網(wǎng)絡(luò)環(huán)境下尤為如此。檢測(cè)軟件或者系統(tǒng)是否被篡改是保護(hù)計(jì)算機(jī)系統(tǒng)安全的重要手段?？尚庞?jì)算技術(shù)即是用來(lái)保護(hù)計(jì)算機(jī)系統(tǒng)的重要方法。其中,可信計(jì)算模塊

2、(TPM)被廣泛應(yīng)用于各個(gè)領(lǐng)域,成為保護(hù)計(jì)算機(jī)系統(tǒng)安全的重要部分。通過(guò)虛擬化技術(shù)與可信計(jì)算技術(shù)的融合,我們可以對(duì)對(duì)一些傳統(tǒng)非虛擬化計(jì)算機(jī)環(huán)境下的安全問(wèn)題提出新的解決方法。傳統(tǒng)的可信計(jì)算主要利用可信計(jì)算模塊對(duì)運(yùn)行的程序等進(jìn)行度量以及檢測(cè)。而在虛擬機(jī)系統(tǒng)中,可以進(jìn)一步使用可信計(jì)算模塊來(lái)主動(dòng)檢測(cè)目標(biāo)程序或系統(tǒng),從而對(duì)系統(tǒng)進(jìn)行保護(hù)。同時(shí)通過(guò)虛擬化技術(shù),使得安全檢測(cè)程序可以在獨(dú)立、不受干擾的環(huán)境中,對(duì)目標(biāo)程序進(jìn)行檢測(cè),避免了惡意軟件對(duì)其進(jìn)行攻擊與

3、篡改。本文的目標(biāo)是研究虛擬機(jī)系統(tǒng)下的可信檢測(cè)與度量,從而實(shí)現(xiàn)對(duì)虛擬機(jī)系統(tǒng)的保護(hù)。該方法最大的優(yōu)勢(shì)在于其對(duì)目標(biāo)虛擬機(jī)進(jìn)行可信檢測(cè)的同時(shí),可以避免惡意軟件對(duì)檢測(cè)程序本身的攻擊。本文構(gòu)建一個(gè)主動(dòng)的可信模型,包括對(duì)主體、客體、度量關(guān)系、信任關(guān)系以及系統(tǒng)狀態(tài)的定義,可信系統(tǒng)狀態(tài)以及狀態(tài)轉(zhuǎn)移的規(guī)定,可以用來(lái)分析及輔助設(shè)計(jì)系統(tǒng)軟件,從而實(shí)現(xiàn)對(duì)虛擬機(jī)系統(tǒng)的保護(hù)。本文介紹開(kāi)源項(xiàng)目Tboot,并通過(guò)本文的主動(dòng)可信模型來(lái)對(duì)其進(jìn)行分析。同時(shí),本文設(shè)計(jì)并實(shí)現(xiàn)在虛