無線傳感器網(wǎng)絡(luò)協(xié)議安全分析.pdf

1、無線傳感器網(wǎng)絡(luò)作為物聯(lián)網(wǎng)的重要組成與技術(shù)支撐，其安全問題受到人們越來越廣泛的關(guān)注。無線傳感器網(wǎng)絡(luò)不同于有線網(wǎng)絡(luò)，因其協(xié)議多樣性與網(wǎng)絡(luò)動態(tài)性，網(wǎng)絡(luò)安全性受到極大威脅?，F(xiàn)有的無線傳感器網(wǎng)絡(luò)安全檢測系統(tǒng)沒有對協(xié)議形式化分析，也沒有對攻擊類型做深入研究。這致使其檢測到的攻擊類型不夠全面，檢測效果可靠性差。現(xiàn)有的安全檢測方法受到特定協(xié)議的局限性，每個方法只能針對一個協(xié)議，難以移植應(yīng)用到其它協(xié)議。
　　針對現(xiàn)有安全檢測系統(tǒng)局限性，本文實(shí)現(xiàn)了一

2、個多協(xié)議通用的無線傳感器網(wǎng)絡(luò)安全檢測系統(tǒng)，該系統(tǒng)可以檢測到所有攻擊者類型。首先，擴(kuò)展AWN語言，使其不僅可以描述進(jìn)程間并發(fā)，還可以描述進(jìn)程運(yùn)行時的變量狀態(tài)?；跀U(kuò)展的AWN語言描述網(wǎng)絡(luò)協(xié)議，可以實(shí)現(xiàn)對攻擊者的形式化分析與驗(yàn)證。其次，針對現(xiàn)有方法檢測攻擊者類型不全面的問題，本文引入了攻擊點(diǎn)模型，并從理論上證明加入攻擊點(diǎn)模型的檢測方法可以覆蓋所有已知攻擊者類型。然后，使用程序切片技術(shù)，實(shí)現(xiàn)自動化分析協(xié)議攻擊者類型，再根據(jù)攻擊時的數(shù)據(jù)依賴，生