作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架.该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹.
推荐文章
BAN逻辑在一类中间入侵攻击协议分析中的缺陷
BAN逻辑
密钥协商协议
中间入侵
棣弗-赫尔曼
基于攻击图模型的网络可能入侵估计研究
网络攻击
攻击图
攻击模型
基于动态环境的单个智能入侵者控制模型
动态环境
多机器人
智能入侵者
追捕
预测
避障
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 协议入侵者攻击能力的统一建模
来源期刊 电子科技大学学报 学科 工学
关键词 形式化分析 入侵者攻击能力 协议预言机 协议生成树
年,卷(期) 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
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (5)
节点文献
引证文献  (2)
同被引文献  (3)
二级引证文献  (5)
1983(1)
  • 参考文献(1)
  • 二级参考文献(0)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(2)
  • 引证文献(0)
  • 二级引证文献(2)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
形式化分析
入侵者攻击能力
协议预言机
协议生成树
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电子科技大学学报
双月刊
1001-0548
51-1207/T
大16开
成都市成华区建设北路二段四号
62-34
1959
chi
出版文献量(篇)
4185
总下载数(次)
13
论文1v1指导