基于化簡行為軌跡的軟件可信性評價模型.pdf

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

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