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

摘要：

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

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

所属期刊栏目：44

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

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

页数：共5页

页码：95-98,101