河南工业大学信息科学与工程学院计算机工程系
- 作品数：5 被引量：5H指数：1
- 相关作者：任瑞刘玉坤更多>>
- 发文基金：河南省科技攻关计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 改进CS逻辑的自动化分析工具实现
- 2010年
- 基于CS逻辑,对其在自动化实现上存在的不足进行扩展,使用prolog人工智能语言设计并实现基于改进CS逻辑的自动化分析工具。实验表明该工具具有应用方便、分析效率高的特性,且能够有效避免分析过程中的状态空间爆炸问题。
- 韩金淑张浩军
- 关键词：安全协议形式化分析
- 基于模型检测的NS公钥认证协议分析
- 2009年
- 模型检测的研究大致包括以下内容:模态逻辑、模型检测算法及其空间效率的改进。以NS认证协议的模型形式化与分析为例,对模型检测的思想进行说明,并利用惰性语言Haskell实现了上述模型形式化与分析,并成功找到了中间人攻击序列。
- 刘玉坤张浩军
- 关键词：安全协议形式化分析HASKELL
- 基于Prolog的协议自动化分析器实现被引量：1
- 2008年
- 以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案。
- 任瑞王雪涛张浩军
- 关键词：PROLOG语言协议分析器BAN逻辑
- 基于SVO逻辑的协议自动化分析器
- 设计并实现了基于SVO逻辑的安全协议自动化分析器，能够分析协议的认证性、不可否认性等安全属性。实验表明，该自动化分析器可以准确、快速地自动分析安全协议是否达到设计安全目标。
- 任瑞张浩军
- 关键词：SVO逻辑
- 计算机网络实训教材研究与建设被引量：4
- 2007年
- 课程建设是教学改革的一个重要环节,而教材建设则是课程建设中的重要内容,通过对目前市场教材存在状况的分析,结合应用型人才培养目标的特点,提出了适合实际情况的计算机网络教材建设方案,并给出教材体系结构的设计。
- 赵玉娟秦兴桥郑丽萍
- 关键词：课程建设应用型人才培养计算机网络教材建设
