期刊文章详细信息
基于Prolog的协议自动化分析器实现
Protocol Automatization Analyzer Based on Prolog
文献类型：期刊文章
机构地区：[1]河南工业大学信息科学与工程学院计算机工程系,郑州450001
基 金：河南省科技攻关(编号:0524220044;0624260017;072102210029);河南工业大学科研基金项目(编号:06XJC017;06XJC022;07XGG030)资助
年 份：2008
卷 号：36
期 号：7
起止页码：111-112
语 种：中文
收录情况：ZGKJHX、普通刊
摘 要：以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案。
关 键 词：PROLOG语言 协议分析器 BAN逻辑
分 类 号：TP393.03]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
