軟件可信動態(tài)度量研究及實現(xiàn).pdf

1、可信度量問題是可信計算領域的基本問題,也是難點問題之一。目前有關可信度量的研究主要集中在靜態(tài)度量方面。軟件的動態(tài)可信度量是對動態(tài)運行過程中的軟件度量其可信性。軟件在運行過程中需要執(zhí)行程序代碼,并且大多數(shù)情況下會接收外部的輸入數(shù)據。本文針對軟件動態(tài)運行過程中的程序代碼和接收的輸入的數(shù)據兩個方面,研究了軟件的動態(tài)可信度量問題。
　　 針對軟件的程序代碼,本文研究了基于行為的軟件動態(tài)度量模型。首先本文以軟件運行過程中的控制流跳轉作為軟

2、件的行為。在此基礎上,本文研究了通過對軟件程序代碼進行靜態(tài)分析,獲取軟件所有可能的控制流跳轉,形成一個基于自動機的軟件預期行為模型。其次,本文研究了基于行為的動態(tài)可信度量算法,即在軟件實際運行過程中,動態(tài)的獲得軟件的控制流跳轉,并與行為預期做比較,通過判斷軟件的實際行為是否符合預期來度量其動態(tài)可信性。最后對模型的安全性進行了分析。
　　 針對軟件在運行過程中接收的輸入數(shù)據,本文研究了基于信息流的動態(tài)度量模型,給出了一個基于Bib

3、a模型的完整性策略,使用該策略,在主體接收的低完整性輸入不會對主體的可信性造成影響的情況下,主體不會降低可信性。給出了一個控制流跳轉依賴函數(shù),用于判斷主體接收的輸入數(shù)據是否對軟件的可信性造成影響。具體實現(xiàn)方式利用動態(tài)信息流追蹤技術。在此基礎上,給出了一個基于信息流的動態(tài)可信度量模型。最后,論述了模型的工作流程。
　　 根據基于行為的動態(tài)度量模型和基于信息流的動態(tài)度量模型,本文對模型的核心功能,動態(tài)度量進程進行了原型實現(xiàn),并分別從