首页> 中文期刊> 《计算机与数字工程》 >基于Prolog的协议自动化分析器实现

基于Prolog的协议自动化分析器实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案.

著录项

来源
《计算机与数字工程》 |2008年第7期|111-112170|共3页
作者
任瑞; 王雪涛; 张浩军;
展开▼
作者单位

河南工业大学信息科学与工程学院计算机工程系;

郑州;

450001;

河南工业大学信息科学与工程学院计算机工程系;

郑州;

450001;

河南工业大学信息科学与工程学院计算机工程系;

郑州;

450001;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.03;
关键词
Prolog语言; 协议分析器; BAN逻辑;

相似文献

中文文献
外文文献
专利

1. 基于Prolog的安全协议在线自动化分析 [J] . 陈铁明 ,张杰 ,蔡家楣 . 计算机应用研究 . 2008,第008期
2. 基于UVM实现TCP/IP协议栈的自动化交互验证平台 [J] . 刘霜梅 ,高新宇 ,谭星亮 . 中国集成电路 . 2016,第003期
3. 基于模糊测试的网络协议自动化漏洞挖掘工具设计与实现 [J] . 孙哲 ,刘大光 ,武学礼 . 信息网络安全 . 2014,第006期
4. 基于TASE.2协议的四川电网调度自动化系统联网的实现 [J] . 席骊瑭 ,王民昆 ,倪雅琦 . 电力信息化 . 2009,第008期
5. 基于Modbus协议的自动化设备之间通信实现 [J] . 梅锐 ,牟永敏 . 北京信息科技大学学报（自然科学版） . 2006,第001期
6. 基于SVO逻辑的协议自动化分析器 [C] . 任瑞 ,张浩军 . 河南省计算机学会2008年学术年会 . 2008
7. 基于Windows和SQL数据库的FC协议分析器软件技术研究 [A] . 张奇 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号