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

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

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

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

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