论文研究 基于SPIN的网络认证协议高效模型检测.pdf

为了有效地提高网络认证协议建模和验证的效率，基于模型检测方法提出一个通用的网络认证协议模型描述方法，结合模型检测工具SPIN可以方便地进行性质验证。通过一些模型的简化策略，不仅可以对不同协议进行高效建模，而且减小了模型的状态空间。与现有的文献相比，自动化程度较高，模型验证的效率较好。基于该方法，对PKM认证协议进行了模型检测，实验证明该模型分析验证方法的有效性，可用于其他网络认证协议的分析验证。