基于SVO逻辑的协议自动化分析器

摘要：

　　设计并实现了基于SVO逻辑的安全协议自动化分析器，能够分析协议的认证性、不可否认性等安全属性。实验表明，该自动化分析器可以准确、快速地自动分析安全协议是否达到设计安全目标。

关键词： 协议自动化分析器 SVO逻辑 安全属性 设计目标

作者: 任瑞 张浩军

作者单位: 河南工业大学信息科学与工程学院计算机工程系，河南 郑州 450001

会议类型: 国内会议

会议名称: 河南省计算机学会2008年学术年会

会议地点: 洛阳

会议语种:中文

页码: 55-59

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