基于隨機(jī)性測(cè)試的WSN協(xié)議安全性測(cè)試體系結(jié)構(gòu)

基本信息

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

摘要

摘要 本發(fā)明針對(duì)現(xiàn)有無(wú)線傳感器網(wǎng)絡(luò)安全協(xié)議缺乏有效的安全性測(cè)試方法的問(wèn)題，提出了一種基于隨機(jī)性測(cè)試的WSN協(xié)議安全性測(cè)試體系結(jié)構(gòu)。體系結(jié)構(gòu)由協(xié)議形式化模塊、一致性測(cè)試模塊、隨機(jī)性測(cè)試模塊和綜合結(jié)果處理模塊組成。體系結(jié)構(gòu)首先將待測(cè)協(xié)議的實(shí)體按照有限狀態(tài)機(jī)模型進(jìn)行形式化描述，然后分析形式化描述結(jié)果得到各狀態(tài)的特征輸入輸出UIO序列、引導(dǎo)序列和一致性測(cè)試序列，再通過(guò)輸入U(xiǎn)IO序列和引導(dǎo)序列代表的事件得到滿足測(cè)試長(zhǎng)度要求的偽隨機(jī)數(shù)，對(duì)偽隨機(jī)數(shù)進(jìn)行隨機(jī)性測(cè)試，最后對(duì)測(cè)試結(jié)果進(jìn)行綜合處理和顯示，實(shí)現(xiàn)對(duì)安全協(xié)議的安全功能進(jìn)行測(cè)試。