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

基本信息

申請?zhí)?/td> CN201110356015.8 申請日 -
公開（公告）號 CN102413460A 公開（公告）日 2012-04-11
申請公布號 CN102413460A 申請公布日 2012-04-11
分類號 H04W12/00(2009.01)I;H04W24/00(2009.01)I;H04W84/18(2009.01)I 分類 電通信技術;
發(fā)明人 裴慶祺;曾勇;齊躍;吉世瑞;王祥;李國宏;劉曉雷 申請（專利權）人 西安匯通博安電子科技有限公司
代理機構 陜西電子工業(yè)專利中心 代理人 西安電子科技大學;西安望海電子科技有限公司
地址 710071 陜西省西安市太白南路2號
法律狀態(tài) -

摘要

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