文件名称：论文研究-一种安全协议自动化分析方法.pdf
文件大小：546KB
文件格式：PDF
更新时间：2022-08-11 11:55:42
安全协议,串空间,自动化分析模型,算法
提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析，克服了冗长的理论推导，使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现，并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证，证明了该自动化分析方法的简洁性和有效性。