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