無線傳感器網(wǎng)絡(luò)協(xié)議安全性測試系統(tǒng)

基本信息

申請?zhí)?/td> CN201110356015.8 申請日 -
公開（公告）號 CN102413460B 公開（公告）日 2014-04-16
申請公布號 CN102413460B 申請公布日 2014-04-16
分類號 H04L9/00(2006.01)I;H04L29/06(2006.01)I;H04W24/00(2009.01)I;H04W84/18(2009.01)I 分類 電通信技術(shù);
發(fā)明人 裴慶祺;曾勇;齊躍;吉世瑞;王祥;李國宏;劉曉雷 申請（專利權(quán)）人 西安匯通博安電子科技有限公司
代理機(jī)構(gòu) 陜西電子工業(yè)專利中心 代理人 張問芬;王品華
地址 710071 陜西省西安市太白南路2號
法律狀態(tài) -

摘要

摘要 本發(fā)明針對無線傳感器網(wǎng)絡(luò)協(xié)議安全性測試領(lǐng)域缺乏統(tǒng)一的測試系統(tǒng)問題，基于協(xié)議攻擊測試思想和協(xié)議一致性測試?yán)碚?，提出了一種無線傳感器網(wǎng)絡(luò)協(xié)議安全性測試系統(tǒng)，所述系統(tǒng)由協(xié)議主體形式化生成組件、協(xié)議攻擊面向?qū)ο笮问交山M件、綜合協(xié)議形式化生成組件、安全性測試組件組成。系統(tǒng)通過模型化方法對協(xié)議主體各參與方行為和協(xié)議面臨的攻擊進(jìn)行形式化描述，分別得到形式化結(jié)果，再把攻擊作為協(xié)議的正常輸入行為，將相對獨立的協(xié)議主體形式化結(jié)果和攻擊行為形式化結(jié)果有機(jī)的結(jié)合在一起，最后根據(jù)協(xié)議一致性測試方法間接地完成對協(xié)議的安全性測試。