10.3969/j.issn.1672-9722.2008.07.032
基于Prolog的协议自动化分析器实现
以BAN逻辑为原型,讨论使用Prolog人工智能语言实现基于逻辑的协议自动化分析器实现方法,给出一个安全认证协议自动化分析器的具体方案.
Prolog语言、协议分析器、BAN逻辑
36
TP393.03(计算技术、计算机技术)
河南省科技攻关0524220044,0624260017,072102210029;河南工业大学科研基金项目06XJC017,06XJC022,07XGG030
2008-09-01(万方平台首次上网日期,不代表论文的发表时间)
共3页
111-112,170