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

摘要：

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

关键词：攻击序列重构、安全协议、一阶逻辑模型

所属期刊栏目：35

分类号：TP309(计算技术、计算机技术)

在线出版日期：2009-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：171-174