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

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

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

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