韌性度的符號(hào)化計(jì)算及在Ad Hoc網(wǎng)絡(luò)中的應(yīng)用.pdf

1、Ad Hoc網(wǎng)絡(luò)是一種與傳統(tǒng)網(wǎng)絡(luò)不同的自組織網(wǎng),已被廣泛應(yīng)用于軍事、民用等相關(guān)領(lǐng)域。Ad Hoc網(wǎng)絡(luò)固有的特點(diǎn)給研究網(wǎng)絡(luò)的正常通信帶來(lái)了巨大的挑戰(zhàn),需要我們對(duì)其安全性問(wèn)題進(jìn)行深入研究?？缮嫘允强坍?huà)網(wǎng)絡(luò)安全的有力工具;對(duì)Ad Hoc網(wǎng)絡(luò)的可生存性研究為網(wǎng)絡(luò)的安全性提供了一定的理論依據(jù)。
　　在研究網(wǎng)絡(luò)的安全時(shí),要考慮的一個(gè)基本問(wèn)題是網(wǎng)絡(luò)結(jié)構(gòu)的脆弱性。韌性度是一個(gè)刻畫(huà)網(wǎng)絡(luò)脆弱性的良好參數(shù),不僅考慮了網(wǎng)絡(luò)遭受破壞后遺留下來(lái)的分支數(shù),也

2、考慮了網(wǎng)絡(luò)遺留的最大連通分支,已在網(wǎng)絡(luò)安全等領(lǐng)域得到了廣泛的應(yīng)用。鑒于有序二叉決策圖(O BDD)符號(hào)化技術(shù)能夠?qū)π畔⑦M(jìn)行高效壓縮,有效地處理大規(guī)模問(wèn)題。因此,本文首先借助于O BDD符號(hào)化技術(shù),對(duì)韌性度的計(jì)算進(jìn)行了研究。然后,基于韌性度對(duì)Ad Hoc網(wǎng)絡(luò)的可生存性進(jìn)行了分析研究。所取得的主要研究成果如下:
　　(1)針對(duì)以往用傳統(tǒng)窮舉法求網(wǎng)絡(luò)韌性度時(shí)間復(fù)雜度高的不足,提出了一種基于O BDD的韌性度計(jì)算方法。首先,將網(wǎng)絡(luò)的連接關(guān)

3、系用O BDD表示;接著,通過(guò)圖論知識(shí)得出一個(gè)與網(wǎng)絡(luò)節(jié)點(diǎn)數(shù)、割點(diǎn)集、剩余網(wǎng)絡(luò)的最大連通分支節(jié)點(diǎn)數(shù)和連通分支數(shù)有關(guān)的性質(zhì);將此性質(zhì)與O BDD上的一些有關(guān)操作相結(jié)合,建立了一種新的韌性度計(jì)算方法;然后,分析證明了該方法的正確性,并且將新方法應(yīng)用于一個(gè)示例網(wǎng)絡(luò);最后,仿真實(shí)驗(yàn)表明,新方法比傳統(tǒng)窮舉法具有更高的效率。
　　(2)通過(guò)分析Ad Hoc網(wǎng)絡(luò)不同于傳統(tǒng)網(wǎng)絡(luò)的安全性挑戰(zhàn),提出了一種基于韌性度的Ad Hoc網(wǎng)絡(luò)可生存性度量方法。首