無線傳感器網絡協議安全性測試系統

基本信息

申請?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 分類 電通信技術;
發(fā)明人 裴慶祺;曾勇;齊躍;吉世瑞;王祥;李國宏;劉曉雷 申請（專利權）人 西安匯通博安電子科技有限公司
代理機構 陜西電子工業(yè)專利中心 代理人 張問芬;王品華
地址 710071 陜西省西安市太白南路2號
法律狀態(tài) -

摘要

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