基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
抽象蠕虫扩散的一般过程,采用确定的有限自动机理论,对蠕虫扩散行为进行形式化描述.建立智能扩散自动机模型,为研究蠕虫扩散过程提供了一种直观的形式化手段.提出加权树策略,基于该策略设计智能扩散模型并详细阐述权策略的核心算法,描述蠕虫智能扩散的本质特征和执行过程.形式论证结果表明,该模型能够有效地刻画智能扩散的特征,实现基于堆遍历加权策略的扩散仿真.
推荐文章
基于带权策略的蠕虫智能扩散
带权
策略树
蠕虫
智能扩散
堆排序
密码协议的形式化分析
形式化分析
BAN逻辑
模型检测
通用形式方法
定理证明
Kerberos协议的形式化分析
安全协议
BAN逻辑
Kerberos协议
智能家居平台构件适应与协同模型及形式化分析
智能家居平台
构件适应
构件协同
形式化
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 蠕虫智能扩散形式化分析及权策略算法实现
来源期刊 计算机工程与应用 学科 工学
关键词 智能扩散 形式化分析 权策略 堆遍历 蠕虫
年,卷(期) 2010,(13) 所属期刊栏目 网络、通信、安全
研究方向 页码范围 90-94
页数 分类号 TP393
字数 4573字 语种 中文
DOI 10.3778/j.issn.1002-8331.2010.13.027
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李肖坚 21 78 4.0 8.0
3 周佳骏 12 32 4.0 5.0
4 王峰 5 5 1.0 2.0
5 马瑞兴 15 9 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (2)
共引文献  (5)
参考文献  (1)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2002(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
智能扩散
形式化分析
权策略
堆遍历
蠕虫
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导