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

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

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

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