文件名称：论文研究-基于SPIN的网络认证协议高效模型检测.pdf
文件大小：596KB
文件格式：PDF
更新时间：2022-10-02 00:30:34
论文研究
为了有效地提高网络认证协议建模和验证的效率，基于模型检测方法提出一个通用的网络认证协议模型描述方法，结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略，不仅可以对不同协议进行高效建模，而且减小了模型的状态空间。与现有的文献相比，自动化程度较高，模型验证的效率较好。基于该方法，对PKM认证协议进行了模型检测，实验证明该模型分析验证方法的有效性，可用于其他网络认证协议的分析验证。