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

基本信息

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

摘要

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