基于軟件行為模型的多層次動態(tài)度量方法研究.pdf

1、軟件行為度量技術(shù)是確保軟件動態(tài)可信的重要方法。目前，軟件行為度量相關(guān)的研究較多，并且大多采用“模型建立-行為監(jiān)控-可信度量”的模式，針對該模式中的一點或多點進(jìn)行研究成為當(dāng)前軟件行為度量的研究熱點。但是，當(dāng)前的研究存在一些問題：一是大多數(shù)研究只針對單一層次的軟件行為進(jìn)行建模，對復(fù)雜的軟件行為無法有效獲取。在對軟件行為進(jìn)行動態(tài)度量時，忽略了度量對系統(tǒng)資源的消耗，以及對軟件運行的影響。二是當(dāng)前軟件動態(tài)度量技術(shù)針對軟件某些局部敏感區(qū)域的惡意行為

2、不能有效檢測，并且對系統(tǒng)中敏感資源的保護(hù)有待提高。
　　針對上述問題，本文綜合當(dāng)前軟件動態(tài)度量的研究成果，在此基礎(chǔ)上，設(shè)計了一個多層次的軟件行為動態(tài)度量系統(tǒng)，該系統(tǒng)以可信平臺為基礎(chǔ)，分別對軟件行為動態(tài)度量中的“模型建立”和“可信度量”進(jìn)行研究。引入行為軌跡屬性的概念和信息論中最大熵的思想，定義并獲取系統(tǒng)各層次的軟件行為，對軟件行為度量的靈活性和有效性進(jìn)行擴(kuò)展，本文以“建立行為模型-設(shè)計原型系統(tǒng)-對系統(tǒng)進(jìn)行實驗驗證”的順序展開研究，

3、設(shè)計并實現(xiàn)了軟件行為多層次動態(tài)度量系統(tǒng)。論文的研究內(nèi)容和創(chuàng)新點如下：
　　1．提出一個基于行為軌跡屬性的軟件行為模型，解決了軟件運行過程中局部敏感區(qū)域信息無法有效獲取和保護(hù)的問題。通過系統(tǒng)調(diào)用分析技術(shù)對系統(tǒng)調(diào)用的功能進(jìn)行分析，得到軟件功能的作用域，并根據(jù)功能的作用域劃分軟件的行為區(qū)間，從而對軟件結(jié)構(gòu)重新定義。通過定義和收集軟件行為區(qū)間的功能屬性、執(zhí)行屬性、路徑屬性、行為屬性以及系統(tǒng)屬性對不同層次的軟件行為進(jìn)行收集。
　　2．

4、提出一個基于最大熵原理的軟件行為模型，解決了軟件運行過程中行為不確定性導(dǎo)致的行為度量準(zhǔn)確性和效率的問題。該模型以系統(tǒng)調(diào)用序列表示軟件的行為，采用最大熵原理，對軟件運行過程中系統(tǒng)調(diào)用序列出現(xiàn)的概率進(jìn)行統(tǒng)計和估計。
　　3．提出一個軟件行為動態(tài)切片方法，實現(xiàn)了最大熵模型建立過程中訓(xùn)練樣例的精簡。該方法根據(jù)需求，定義不同的切片規(guī)則和切片算法，對軟件運行時的系統(tǒng)調(diào)用序列進(jìn)行切片，從訓(xùn)練樣例中去除軟件運行過程中對軟件可信性影響較小或無關(guān)的系