可信計(jì)算動(dòng)態(tài)完整性度量模型設(shè)計(jì)與實(shí)現(xiàn).pdf

1、隨著網(wǎng)絡(luò)信息技術(shù)的普及，信息安全形勢越來越嚴(yán)峻；雖然許多研究機(jī)構(gòu)不斷地推出各種方法，抵擋網(wǎng)絡(luò)攻擊，卻始終缺乏對終端的有效防護(hù)；可信計(jì)算的出現(xiàn)為終端安全防護(hù)提供了一種可行思路?？尚庞?jì)算是指從最初的信任根出發(fā)，通過完整性度量的方法把信任邊界擴(kuò)展到整個(gè)計(jì)算平臺(tái)，甚至整個(gè)網(wǎng)絡(luò)。但是目前完整性度量的理論和實(shí)現(xiàn)主要集中在靜態(tài)完整性度量上，對于動(dòng)態(tài)完整性度量缺乏必要的數(shù)學(xué)模型和技術(shù)理念。本文首先分析了目前動(dòng)態(tài)完整性數(shù)學(xué)模型的特點(diǎn)，建立了一種基于信息流

2、的多級動(dòng)態(tài)完整性度量模型，并通過形式化的語言描述了該模型的規(guī)則和定理；接著設(shè)計(jì)了一種新的動(dòng)態(tài)度量方法，給出了該度量方法的架構(gòu)圖和系統(tǒng)原型實(shí)現(xiàn)；最后對系統(tǒng)的有效性進(jìn)行了分析，并對系統(tǒng)的緩沖區(qū)溢出攻擊防護(hù)效果進(jìn)行了實(shí)驗(yàn)驗(yàn)證。
　　本研究主要內(nèi)容包括：⑴針對動(dòng)態(tài)完整性度量數(shù)學(xué)模型的缺乏問題，提出了一個(gè)基于信息流的多級動(dòng)態(tài)完整性度量模型，該模型采用了經(jīng)典的信息流完整性策略，同時(shí)給出了系統(tǒng)違反信息流完整性策略后，系統(tǒng)的完整性度量處理規(guī)則。該

3、模型與以往的信息流完整性模型和運(yùn)行無干擾完整性模型相比，有著易用性、完整性高的優(yōu)勢。⑵針對目前動(dòng)態(tài)度量方法不能有效保證數(shù)據(jù)內(nèi)存數(shù)據(jù)完整性和廣泛存在的TOU-TOC問題，本文提出了一種基于頁保護(hù)和執(zhí)行控制的動(dòng)態(tài)完整性度量方法，該方法設(shè)計(jì)了內(nèi)存頁寫保護(hù)，來發(fā)現(xiàn)可能的惡意修改，通過NX位執(zhí)行檢查，確保代碼頁執(zhí)行前得到度量，從而消除可能的安全問題；另外通過采用度量時(shí)的寫保護(hù)解決了TOU-TOC問題，有效的保證了系統(tǒng)的完整性。⑶提出了一種針對緩沖