無(wú)線傳感器網(wǎng)絡(luò)協(xié)議安全性測(cè)試框架研究.pdf

1、無(wú)線傳感器網(wǎng)絡(luò)代表了未來(lái)計(jì)算機(jī)的發(fā)展方向，它將客觀的物理世界與邏輯的信息世界融合在一起。未來(lái)無(wú)線傳感器網(wǎng)絡(luò)將無(wú)處不在，無(wú)所不包，人們可以通過(guò)遍布周圍的傳感器節(jié)點(diǎn)隨時(shí)隨地地獲取需要的信息。類似于Internet，由于其不斷擴(kuò)大的影響力，安全問(wèn)題也變得越來(lái)越受到重視。
　　 近年來(lái)，國(guó)內(nèi)外的眾多學(xué)者將目光投向了無(wú)線傳感器網(wǎng)絡(luò)安全性領(lǐng)域，并提出了眾多側(cè)重點(diǎn)不同的安全協(xié)議。但是，當(dāng)需要評(píng)價(jià)提出的無(wú)線傳感器網(wǎng)絡(luò)協(xié)議的安全性能時(shí)，研究者更多

2、的是根據(jù)協(xié)議的自然語(yǔ)言描述，從理論層面上去分析協(xié)議可能存在的安全漏洞，以此來(lái)評(píng)估其安全性。但是對(duì)于不同的協(xié)議，分析的方法又不盡相同，對(duì)協(xié)議A的分析方法不一定適用于協(xié)議B的研究，即缺乏統(tǒng)一的測(cè)試方法和測(cè)試框架。所以基于無(wú)線傳感器網(wǎng)絡(luò)這種安全需求，有必要對(duì)無(wú)線傳感器網(wǎng)絡(luò)協(xié)議安全性測(cè)試框架和方法進(jìn)行更深層次的研究。
　　 本文首先提出了一種面向?qū)ο蟮臒o(wú)線傳感器網(wǎng)絡(luò)協(xié)議攻擊描述模型，它是一種基于多屬性的層次性形式化描述模型，提供了包括攻

3、擊原理、安全威脅和攻擊影響等在內(nèi)的全面的協(xié)議攻擊信息。模型可以幫助協(xié)議測(cè)試者更全面地理解協(xié)議攻擊，為后面的無(wú)線傳感器網(wǎng)絡(luò)協(xié)議安全性的定量評(píng)價(jià)提供基礎(chǔ)?；诖嗣嫦?qū)ο蟮膮f(xié)議攻擊描述模型，借鑒一致性測(cè)試思想，本文提出了一種無(wú)線傳感器網(wǎng)絡(luò)協(xié)議安全性測(cè)試框架，用于評(píng)估無(wú)線無(wú)線傳感器網(wǎng)絡(luò)協(xié)議的安全性能。測(cè)試框架由四個(gè)組件系統(tǒng)組成：面向?qū)ο髤f(xié)議攻擊形式化描述系統(tǒng)、IUT形式化描述系統(tǒng)、胍□□□伀J儀ъ愀□瀀h□致性測(cè)試系統(tǒng)。測(cè)試框架具有更好的適應(yīng)性