协议入侵者攻击能力的统一建模

• 作者: 张靖
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 形式化分析 入侵者攻击能力 协议预言机 协议生成树
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 计算机科学与工程
• 页码范围: 617-620
• 页数: 4页
• 分类号: TP309
• 字数: 5166字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2007.03.039

摘要

基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架.该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张靖	攀枝花学院网络中心	39	255	7.0	15.0