基于化簡(jiǎn)行為軌跡的軟件可信性評(píng)價(jià)模型.pdf

1、隨著信息技術(shù)與產(chǎn)業(yè)的高速發(fā)展，危害信息安全的事件經(jīng)常發(fā)生，可信計(jì)算技術(shù)應(yīng)運(yùn)而生。目前可信計(jì)算技術(shù)對(duì)于計(jì)算機(jī)的可信測(cè)量大多僅限于系統(tǒng)開(kāi)機(jī)時(shí)對(duì)系統(tǒng)資源的靜態(tài)可信性驗(yàn)證，但并不能保證系統(tǒng)運(yùn)行過(guò)程中的動(dòng)態(tài)可信性，因此軟件的可信性評(píng)價(jià)技術(shù)成為可信計(jì)算研究的一個(gè)重點(diǎn)問(wèn)題。保證軟件的動(dòng)態(tài)可信性即是確保軟件行為總是以預(yù)期的方式達(dá)到預(yù)期的目標(biāo)，故而可以通過(guò)軟件行為對(duì)軟件的動(dòng)態(tài)可信性進(jìn)行評(píng)價(jià)。伴隨著數(shù)據(jù)流攻擊（如模擬攻擊等）的出現(xiàn)，軟件行為模型不僅包括軟件

2、執(zhí)行的操作序列，還要包括軟件運(yùn)行對(duì)應(yīng)的場(chǎng)景信息才能充分檢測(cè)出大多數(shù)攻擊。在充分考慮了軟件的運(yùn)行流程和運(yùn)行背景的基礎(chǔ)上，提出了基于化簡(jiǎn)行為軌跡的軟件可信性評(píng)價(jià)模型（creditability evaluation model of software based on simplified behaviortrace，簡(jiǎn)稱(chēng)CEMSBT）。該模型引入行為軌跡描述軟件行為，行為軌跡由運(yùn)行軌跡和功能軌跡構(gòu)成，運(yùn)行軌跡表示軟件運(yùn)行時(shí)的有序操作，表征