安全协议一阶逻辑模型中攻击重构的实现

• 作者: 张超 朱玉娜 王亚弟 陈欣辉 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 攻击序列重构 安全协议 一阶逻辑模型
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 171-174
• 页数: 4页
• 分类号: TP309
• 字数: 4823字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.05.059

摘要

针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型系统.通过具体的应用例子对其秘密性进行形式化验证,结果表明系统能给出易于理解的攻击序列.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	张超	解放军信息工程大学电子技术学院	16	63	4.0	7.0
4	朱玉娜	解放军信息工程大学电子技术学院	9	17	2.0	3.0
5	陈欣辉		1	0	0.0	0.0