几种密码协议验证工具的比较和分析研究.pdfVIP

几种密码协议验证工具的比较和分析宰 李亚敏帅飞 高鑫鑫 解放军信息j】：程人学电子技术学院，郑州450004 摘要：从密码协议的形式化分析和验证出发，对协议描述语言和验证方法进行分类，并比较、分 析了几种典型的协议分析工具．通过对模型检测和逻辑分析验证方法的研究，结合两者的特点，设计 了一种结合模型检测和逻辑分析方法的综合协议验证方法，并给出了实例． ‘ 关键词：协议描述语言协议验证方法验证工具 I引 言、 密码协议难于设计且易于出错，这可以从众多文献对协议缺陷的记载中略窥一斑【l’2’3l。因此，需要用 A 一些技术或!r具研究、验证其安全性，BN逻辑p】的诞生导致了密码协议形式化分析方法的产生。形式 化方法能够全面、深刻地检测到密码协议中细微的渊洞，不仅能发