文件名称：论文研究-一种新的形式化模型对安全认证协议的分析.pdf
文件大小：492KB
文件格式：PDF
更新时间：2022-08-11 14:46:39
形式化模型,Petri网,协议分析,融合库所,状态空间
针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题，提出在Petri网的基础上，引入融合库所建立一种新的形式化模型。利用该方法对Otway-Rees协议建立模型，并从可达性和仿真两方面进行分析。实验结果表明，该方法适合应用在协议分析中，不仅使协议建立模型更加简便，而且在一定程度上缩小了其状态空间。