改进的安全协议一阶逻辑模型

• 作者: 张超 朱玉娜 王亚弟 韩继红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析 一阶逻辑模型 攻击序列重构
• 年，卷（期）: 2008,（26）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 95-98,101
• 页数: 5页
• 分类号: TP309
• 字数: 7587字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.26.029

摘要

由于Blanchet安全协议一阶逻辑模型不能够给出易于理解的攻击序列,基于该安全协议一阶逻辑模型,对逻辑推理中的规则及合一化操作进行了分类,给出了操作置换规则,明确了.改进系统中的一些关键性概念和命题.最后,以化简的Needham-Schroeder协议为例,对秘密性进行形式化验证,结果表明改进的系统能够给出易于理解的攻击序列.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	张超	信息工程大学电子技术学院	79	318	9.0	13.0
3	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
4	朱玉娜	信息工程大学电子技术学院	4	20	2.0	4.0