版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
专利申请号:CN201110356015.8
公 开 号:CN102413460A
发 明 人:裴庆祺 曾勇 齐跃 吉世瑞 王祥 李国宏 刘晓雷
代 理 人:张问芬;王品华
代理机构:61205 陕西电子工业专利中心
专利类型:发明申请
申 请 日:20120411
公 开 日:20111110
专利主分类号:H04W12/00(20090101)
关 键 词:协议 安全性测试 攻击 无线传感器网络 协议一致性测试 协议的安全性 模型化方法 形式化描述 测试系统 面向对象
摘 要:本发明针对无线传感器网络协议安全性测试领域缺乏统一的测试系统问题,基于协议攻击测试思想和协议一致性测试理论,提出了一种无线传感器网络协议安全性测试系统,所述系统由协议主体形式化生成组件、协议攻击面向对象形式化生成组件、综合协议形式化生成组件、安全性测试组件组成。系统通过模型化方法对协议主体各参与方行为和协议面临的攻击进行形式化描述,分别得到形式化结果,再把攻击作为协议的正常输入行为,将相对独立的协议主体形式化结果和攻击行为形式化结果有机的结合在一起,最后根据协议一致性测试方法间接地完成对协议的安全性测试。