期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
协议入侵者攻击能力的统一建模 被引量:2
1
作者 张靖 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第3期617-620,共4页
基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架。该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹。
关键词 形式化分析 入侵者攻击能力 协议预言机 协议生成树
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部