任務關鍵系統(tǒng)生存性形式化建模與分析.pdf

1、隨著信息化時代的到來，各類任務關鍵系統(tǒng)得到了廣泛的應用，這些系統(tǒng)提供的基本服務一旦中斷將給國民經(jīng)濟和人民生活帶來巨大的影響。傳統(tǒng)安全措施雖然提高了系統(tǒng)的安全性，但各種入侵事件還是不斷發(fā)生，為此必須考慮系統(tǒng)在入侵發(fā)生后仍能提供用戶滿意的服務，生存性是應對一切攻擊、入侵和破壞的最佳途徑。 生存性研究的焦點在于保證系統(tǒng)在遭受攻擊、故障和意外事故后仍能及時完成其關鍵任務，研究涉及生存性設計和生存性分析兩大領域。其中，生存性分析，特別是量

2、化分析是一項重要的基礎工作，著重研究如何評價系統(tǒng)的生存性。目標是提供一個標準的測評方案，對系統(tǒng)生存性的現(xiàn)狀進行評估，對生存性的變化趨勢進行預測，進而在理論上指導可生存系統(tǒng)的設計和實現(xiàn)。目前，生存性分析研究雖然取得了一些進展，但整體上還沒有形成統(tǒng)一的分析規(guī)范，研究成果也較少考慮到在實際應用中的可行性。本文針對這種情況，以生存性分析問題為核心，對系統(tǒng)生存性建模及分析方法進行深入研究。 首先，研究基于復合屬性的生存性指標體系模型。從指

3、標內(nèi)容、攻擊階段及測定標準三個不同側(cè)面對生存性性能指標進行綜合分析，提出一種系統(tǒng)反映生存性的指標體系，對其進行形式化描述并抽象出相應的數(shù)學模型。在此基礎上，探討指標體系在不同應用場景下的簡化與擴展，結(jié)合實例說明指標體系在不確定型AHP—Fuzzy生存性評估方法中的具體使用，為系統(tǒng)生存性分析提供合理的依據(jù)。 其次，研究基于性能評估進程代數(shù)的系統(tǒng)生存性形式化建模方法。剖析影響生存性的本質(zhì)特征，將服務請求與服務器、攻擊者與服務器描述為

4、不同的組件，從用戶服務請求和攻擊影響兩個角度分別構(gòu)建精確描述系統(tǒng)行為和性質(zhì)的生存性模型，并比較兩種建模角度的異同。對模型中參數(shù)的靈敏度進行分析，使構(gòu)建的模型更加完善。性能分析結(jié)果表明，該模型能夠正確地反映出系統(tǒng)生存性的關鍵屬性，以此為基礎實現(xiàn)具體的生存性分析。 再次，研究基于概率模型檢測的系統(tǒng)生存性量化分析方法。將圖理論分析與數(shù)值求解、統(tǒng)計、仿真等技術相結(jié)合，面向具有隨機行為的連續(xù)時間馬爾可夫鏈系統(tǒng)概率模型，針對不同程度的攻擊故

5、障及系統(tǒng)服務水平，使用連續(xù)隨機邏輯建立生存性的形式化規(guī)約。借助概率模型檢測工具PRISM對模型進行統(tǒng)計和分析，以圖形化地形式表示出系統(tǒng)生存性自動分析結(jié)果。仿真試驗結(jié)果驗證了該方法在生存性量化分析中的合理性和有效性，可實現(xiàn)系統(tǒng)在不同環(huán)境下生存性的實時監(jiān)控。 最后，研究基于序列蒙特卡羅的系統(tǒng)生存性預測方法。建立系統(tǒng)動態(tài)模型并獲取系統(tǒng)在當前時刻生存性的先驗PDF，然后在當前時刻觀測值和觀測似然模型的基礎上，根據(jù)貝葉斯公式更新先驗PDF