计算机与数字工程2008，Vol.36Issue(7)：111-112,170,3.
基于Prolog的协议自动化分析器实现
Protocol Automatization Analyzer Based on Prolog
摘要
关键词
Prolog语言/协议分析器/BAN逻辑分类
信息技术与安全科学引用本文复制引用
任瑞,王雪涛,张浩军..基于Prolog的协议自动化分析器实现[J].计算机与数字工程,2008,36(7):111-112,170,3.基金项目
河南省科技攻关(编号:0524220044,0624260017,072102210029) （编号:0524220044,0624260017,072102210029）
河南工业大学科研基金项目(编号:06XJC017,06XJC022,07XGG030)资助. （编号:06XJC017,06XJC022,07XGG030）
