基于馬爾可夫的軟件可信評(píng)估模型研究.pdf

1、21世紀(jì)是一個(gè)信息高速發(fā)展的時(shí)代，信息技術(shù)日益發(fā)達(dá)，信息產(chǎn)業(yè)空前繁榮，同時(shí)，信息安全問(wèn)題也層出不窮。近年來(lái)，隨著計(jì)算模式的多樣化以及應(yīng)用環(huán)境的復(fù)雜化，軟件的可信性成為人們廣泛關(guān)注的問(wèn)題。由于軟件自身存在的設(shè)計(jì)缺陷或來(lái)自軟件外部的惡意攻擊可能導(dǎo)致軟件產(chǎn)生故障，最終給人們的學(xué)習(xí)、工作和生活帶來(lái)消極影響甚至造成巨大損失。因此，對(duì)軟件的可信性研究具有重要意義。
　　軟件可信評(píng)估已成為信息安全領(lǐng)域研究的一個(gè)熱點(diǎn)問(wèn)題，本文在充分體現(xiàn)軟件運(yùn)行過(guò)

2、程的基礎(chǔ)上，提出了一種基于馬爾可夫的軟件可信評(píng)估模型。如果軟件運(yùn)行時(shí)可以滿足兩個(gè)條件，即按照預(yù)期的計(jì)劃運(yùn)行和達(dá)到設(shè)定的目標(biāo)，那么認(rèn)為此時(shí)該軟件是可信的。軟件可信性能夠從軟件行為上反映出來(lái)，具體的說(shuō)，軟件的執(zhí)行過(guò)程就是程序從開(kāi)始到結(jié)束的運(yùn)行過(guò)程，軟件行為可信體現(xiàn)在程序的運(yùn)行過(guò)程符合預(yù)期的計(jì)劃和目標(biāo)。本文通過(guò)將若干檢查點(diǎn)織入軟件行為軌跡中來(lái)反映軟件運(yùn)行的行為表現(xiàn)，然后對(duì)檢查點(diǎn)可信程度進(jìn)行等級(jí)劃分，通過(guò)馬爾可夫模型反映檢查點(diǎn)可信情況，并根據(jù)軟