欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。
英文摘要：
The paper deal with model checking of WEP protocol via SPIN, not only searching the problem from states, but also analyzing WEP protocol logic from every point. The model checking is that model WEP protocol first, translating into Promela from SPIN, then change the properties of WEP protocol into LTL, the WEP protocol is analyzed at last. The result is show that there are some problem in the WEP protocol.
同期刊论文项目
同项目期刊论文
期刊信息
位置：