SPIN在无线网络安全认证协议建模中的应用
【出 处】：
【作 者】：
【摘 要】为确保无线网络安全认证，应用模型检查工具SPIN对EAP－TLS认证协议进行建模，根据SPIN给出攻击轨迹，指出EAP－TLS可能存在双向认证失败的安全隐患，从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPINPROMELA语言对通信各方建模，用线性时态逻辑LTL表示安全属性，提出了将SPIN应用于认证协议的验证方法。
相关热词搜索：
模型检测
认证协议
协议验证
可扩展认证协议
传输层安全
上一篇：基于谱减法和小波阈值的新型语音降噪算法研究
下一篇：基于图像处理的煤矿巷道多参数自动测量研究