- 计算机网络实训教材研究与建设
- 1
- 《科技信息》河南工业大学信息科学与工程学院计算机工程系;中国人民解放军防空兵指挥学院计算机教研室 赵玉娟 秦兴桥 郑丽萍 出版年：2007
- 关键词：课程建设 应用型人才培养 计算机网络 教材建设
- 基于Prolog的协议自动化分析器实现
- 2
- 《计算机与数字工程》河南工业大学信息科学与工程学院计算机工程系 任瑞 王雪涛 张浩军 出版年：2008
- 关键词：PROLOG语言 协议分析器 BAN逻辑
- 改进CS逻辑的自动化分析工具实现
- 3
- 《电脑知识与技术（过刊）》河南工业大学信息科学与工程学院计算机工程系 韩金淑 张浩军 出版年：2010
- 关键词：安全协议 形式化分析 CS逻辑 自动化分析工具
- 基于模型检测的NS公钥认证协议分析
- 4
- 《计算机与数字工程》河南工业大学信息科学与工程学院计算机工程系 刘玉坤 张浩军 出版年：2009
- 关键词：安全协议 形式化分析 模型检测 HASKELL
- 基于SVO逻辑的协议自动化分析器
- 5
- 河南省计算机学会2008年学术年会 2008任瑞 张浩军 出版年：2008
- 关键词：协议自动化分析器 SVO逻辑 安全属性 设计目标
