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

• 作者: 任瑞 张浩军 王雪涛
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: Prolog语言 协议分析器 BAN逻辑
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 信息网络安全
• 页码范围: 111-112,170
• 页数: 3页
• 分类号: TP393.03
• 字数: 1586字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2008.07.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张浩军	河南工业大学信息科学与工程学院计算机工程系	65	229	8.0	12.0
2	王雪涛	河南工业大学信息科学与工程学院计算机工程系	10	40	3.0	6.0
3	任瑞	河南工业大学信息科学与工程学院计算机工程系	1	1	1.0	1.0