基于虛擬可信平臺的軟件可信性研究.pdf

1、聲明尸明本人鄭重聲明：所呈交的學(xué)位論文，是本人在指導(dǎo)教師的指導(dǎo)下，獨立進行研究所取得的成果。除文中已經(jīng)注明引用的內(nèi)容外，本論文不包含其他個人或集體己經(jīng)發(fā)表或撰寫過的科研成果。對本文的研究做出重要貢獻的個人和集體，均己在文中以明確方式標(biāo)明。本聲明的法律責(zé)任由本人承擔(dān)。論文作者簽名：關(guān)于學(xué)位論文使用權(quán)的說明本人完全了解太原理工大學(xué)有關(guān)保管、使用學(xué)位論文的規(guī)定，其中包括：①學(xué)校有權(quán)保管、并向有關(guān)部門送交學(xué)位論文的原件與復(fù)印件；②學(xué)校可以采用影

2、印、縮印或其它子復(fù)制手段復(fù)制并保存學(xué)位論文；③學(xué)?？稍试S學(xué)位論文被查閱或借閱；④學(xué)校可以學(xué)術(shù)交流為目的，復(fù)制贈送和交換學(xué)位論文；⑤學(xué)?？梢怨紝W(xué)位論文的全部或部分內(nèi)容(保密學(xué)位論文在解密后遵守此規(guī)定)。作者簽名：——盈卓!壹L日期：—型塹L￡』墮一導(dǎo)師簽名：銎望絲吼如l多j，二廠太原理工大學(xué)博士研究生學(xué)位論文行狀態(tài)——裝載和運行整體上分為完整性度量和動態(tài)可信性評測兩個階段，并采用不同的方式和策略對軟件的裝載及運行加以控制。完整性度量階段

3、是對將要裝載的應(yīng)用軟件可信屬性信息進行完整性驗證。動態(tài)可信評測階段是在軟件運行期間通過對其實際行為的監(jiān)控、動態(tài)分析、態(tài)勢預(yù)測，實現(xiàn)軟件行為動態(tài)可信性評測。并將TCG信任鏈擴展至TSVTMM，從而保證了TSVTMM自身的安全。該模型容易實現(xiàn)，具有良好的可擴展性。(2)針對TCG標(biāo)準(zhǔn)數(shù)據(jù)封裝在平臺配置更新失效的問題，提出基于TSIML新的數(shù)據(jù)封裝存儲方案。采用相對固定的虛擬底層環(huán)境狀態(tài)執(zhí)行標(biāo)準(zhǔn)封裝，結(jié)合易變的客戶虛擬機狀態(tài)進行屬性封裝，從而

4、解決了客戶虛擬機狀態(tài)因頻繁變化所引起的多次封裝問題。(3)從軟件行為的可信性入手，根據(jù)TCG動態(tài)度量的實際需求，提出了軟件行為動態(tài)可信評測方法。通過軟件在運行時對其行為軌跡進行度量根據(jù)軟件實際行為是否符合預(yù)期的可信策略進行動態(tài)分析評測。將可信度量機制的粒度細(xì)化到軟件行為的層面。實驗結(jié)果表明該方法在有限的樣本條件下對軟件行為模式學(xué)習(xí)、識別和預(yù)測方面具有良好的性能。(4)為了提高模糊支持向量機FSVM對軟件行為識別的精度，提出一種基于模糊理