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

摘要：

从密码协议的形式化分析和验证出发,对协议描述语言和验证方法进行分类,并比较、分析了几种典型的协议分析工具。通过对模型检测和逻辑分析验证方法的研究,结合两者的特点,设计了一种结合模型检测和逻辑分析方法的综合协议验证方法,并给出了实例.

关键词： 协议描述语言 协议验证方法 验证工具 密码协议 模型检测 逻辑分析验证

作者: 李亚敏 帅飞 高鑫鑫

作者单位: 解放军信息工程大学电子技术学院,郑州 450004

会议类型: 国内会议

会议名称: 全国第18届计算机技术与应用学术会议(CACIS)

会议地点: 浙江宁波

会议语种:中文

页码: 1639-1643

在线出版日期: 2007-08-25（万方平台首次上网日期，不代表论文的发表时间）