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

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

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