改进的安全协议逻辑系统及评估技术

摘要：

改进了Blanchet安全协议一阶逻辑系统并建立了用于评估攻击者攻击耗费的攻击树模型,明确了系统和模型中涉及的一些关键性概念和命题.改进的系统能够将逻辑推导转换成易于理解的攻击过程.建立的攻击树模型具有以下特点:能够形象直观地描述攻击者对一个协议进行攻击的行为;能够对不同方法所耗费的资源进行相对比较;基于树状结构,便于计算机实现搜索、存储.

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

所属期刊栏目：29

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

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

页数：共5页

页码：5415-5419