会议论文详细信息
基于SVO逻辑的协议自动化分析器
文献类型：会议
作者单位：河南工业大学信息科学与工程学院计算机工程系，河南 郑州 450001
会议文献：河南省计算机学会2008年学术年会论文集
会议名称：河南省计算机学会2008年学术年会
会议日期：20080822
会议地点：洛阳
主办单位：河南省计算机学会
出版日期：20080822
语 种：中文
摘 要：设计并实现了基于SVO逻辑的安全协议自动化分析器，能够分析协议的认证性、不可否认性等安全属性。实验表明，该自动化分析器可以准确、快速地自动分析安全协议是否达到设计安全目标。
关 键 词：协议自动化分析器 SVO逻辑 安全属性 设计目标
分 类 号：TP311.1]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
