基于隨機(jī)模型檢測(cè)的無(wú)線傳感器網(wǎng)絡(luò)可生存性評(píng)估.pdf

1、無(wú)線傳感器網(wǎng)絡(luò)是由部署在監(jiān)控區(qū)域內(nèi)的大量具有自治和無(wú)線通信協(xié)作能力的傳感器節(jié)點(diǎn)組成的一個(gè)多跳自組織網(wǎng)絡(luò)。在大多數(shù)情況下網(wǎng)絡(luò)不可能檢測(cè)和阻止所有的入侵，因此必須保證在發(fā)生入侵的情況下關(guān)鍵設(shè)施不間斷的提供服務(wù)?？缮嫘哉綖榇硕Q生的關(guān)鍵服務(wù)保障技術(shù)。為了明確網(wǎng)絡(luò)系統(tǒng)在遭遇故障和攻擊后究竟是否具有繼續(xù)提供關(guān)鍵服務(wù)的能力，需要對(duì)可生存性進(jìn)行評(píng)估，以便于對(duì)可生存網(wǎng)絡(luò)的設(shè)計(jì)與部署提供指導(dǎo)。
　　隨機(jī)模型檢測(cè)技術(shù)是一種對(duì)有限狀態(tài)系統(tǒng)進(jìn)行驗(yàn)證的

2、技術(shù)，通過(guò)建立相應(yīng)的狀態(tài)系統(tǒng)模型來(lái)描述待驗(yàn)證系統(tǒng)，使用邏輯公式形式化規(guī)約待驗(yàn)證的性質(zhì)，然后調(diào)用驗(yàn)證算法自動(dòng)化完成性質(zhì)的分析。隨機(jī)模型檢測(cè)高度自動(dòng)化的特點(diǎn)在分析系統(tǒng)可靠性，安全性等指標(biāo)方面獲得了廣泛的認(rèn)可和應(yīng)用。
　　基于隨機(jī)模型檢測(cè)技術(shù)具有快速、可靠、易用等特點(diǎn)，本文將利用隨機(jī)模型檢測(cè)技術(shù)來(lái)分析無(wú)線傳感器網(wǎng)絡(luò)的可生存性，主要工作有以下三個(gè)方面：
　　(1)建立了在發(fā)生故障和攻擊下單節(jié)點(diǎn)行為演化的連續(xù)時(shí)間馬爾科夫鏈模型，通過(guò)單

3、節(jié)點(diǎn)行為模型的組合方式建立了整個(gè)網(wǎng)絡(luò)行為演化的連續(xù)時(shí)間馬爾科夫鏈模型。該網(wǎng)絡(luò)模型能夠刻畫節(jié)點(diǎn)之間的連通關(guān)系，規(guī)避了現(xiàn)有基于模型的分析技術(shù)對(duì)節(jié)點(diǎn)分布與拓?fù)浣Y(jié)構(gòu)的依賴性。
　　(2)PRISM是目前最為先進(jìn)的隨機(jī)模型檢測(cè)工具，使用PRISM需要使用者具有一定的并發(fā)系統(tǒng)知識(shí)，而無(wú)線傳感器網(wǎng)絡(luò)領(lǐng)域的工作者相對(duì)比較缺乏，因此開發(fā)了將網(wǎng)絡(luò)的初始部署映射為一個(gè)PRISM建模語(yǔ)言描述的可生存評(píng)估模型的算法，從而達(dá)到建模過(guò)程自動(dòng)化的目的。