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

Protocol Automatization Analyzer Based on Prolog

作　　者：任瑞[1] 王雪涛[1] 张浩军[1] 

机构地区：[1]河南工业大学信息科学与工程学院计算机工程系,郑州450001

出　　处：《计算机与数字工程》2008年第7期111-112,170,共3页Computer & Digital Engineering

基　　金：河南省科技攻关(编号:0524220044;0624260017;072102210029);河南工业大学科研基金项目(编号:06XJC017;06XJC022;07XGG030)资助

摘　　要：以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案。Using AI, Prolog, the method and technique for achieving protocol automatization analyzer are discussed. As a prototype for the BAN logic, an automation analyzer is developed for analyzing security protocols.

关 键 词：PROLOG语言 协议分析器 BAN逻辑 

分 类 号：TP393.03[自动化与计算机技术—计算机应用技术]