无线传感器网络协议安全性测试系统
基本信息
| 申请号 | 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 | 分类 | 电通信技术; |
| 发明人 | 裴庆祺;曾勇;齐跃;吉世瑞;王祥;李国宏;刘晓雷 | 申请（专利权）人 | 西安汇通博安电子科技有限公司 |
| 代理机构 | 陕西电子工业专利中心 | 代理人 | 张问芬;王品华 |
| 地址 | 710071 陕西省西安市太白南路2号 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明针对无线传感器网络协议安全性测试领域缺乏统一的测试系统问题，基于协议攻击测试思想和协议一致性测试理论，提出了一种无线传感器网络协议安全性测试系统，所述系统由协议主体形式化生成组件、协议攻击面向对象形式化生成组件、综合协议形式化生成组件、安全性测试组件组成。系统通过模型化方法对协议主体各参与方行为和协议面临的攻击进行形式化描述，分别得到形式化结果，再把攻击作为协议的正常输入行为，将相对独立的协议主体形式化结果和攻击行为形式化结果有机的结合在一起，最后根据协议一致性测试方法间接地完成对协议的安全性测试。 |
