自律可信系統(tǒng)模型及評(píng)價(jià)研究.pdf

1、隨著軟件復(fù)雜性的增長(zhǎng)和入侵攻擊的加劇，可信性問(wèn)題目益嚴(yán)峻，傳統(tǒng)的以設(shè)計(jì)更為復(fù)雜結(jié)構(gòu)來(lái)實(shí)現(xiàn)可信的方式已不再現(xiàn)實(shí)。本文提出利用自律計(jì)算技術(shù)自我感知、自我管理的特性，設(shè)計(jì)一種自動(dòng)、靈活、不增加系統(tǒng)復(fù)雜性的新的可信性—自律可信性，試圖通過(guò)對(duì)自律可信系統(tǒng)及其屬性評(píng)價(jià)的研究，為可信性研究提供一種新的思路和角度。 本文首先分析了自律可信性的概念屬性與傳統(tǒng)可信性的區(qū)別與聯(lián)系，建立了二者屬性之間的對(duì)應(yīng)關(guān)系；接著初步探討了自律可信系統(tǒng)自容忍、自恢復(fù)

2、、自毀等各組成模塊的實(shí)現(xiàn)，并提出了一個(gè)基于π演算的自省模型；然后在對(duì)系統(tǒng)結(jié)構(gòu)分析和抽象的基礎(chǔ)上建立了一個(gè)基于馬爾可夫過(guò)程的自律可信系統(tǒng)狀態(tài)模型。 對(duì)自律可信系統(tǒng)的屬性評(píng)價(jià)研究，有助于確定影響系統(tǒng)可信性的因素，減少系統(tǒng)漏洞和提高系統(tǒng)的可信性。在對(duì)自律可信系統(tǒng)測(cè)評(píng)指標(biāo)定義和量化的基礎(chǔ)上，本文提出了一個(gè)自律可信性測(cè)評(píng)指標(biāo)體系，利用AHP算法建立了自律可信系統(tǒng)的測(cè)評(píng)模型，并開(kāi)發(fā)了一個(gè)初步的自律可信性自動(dòng)化測(cè)評(píng)工具ADE—Tool，以滿足