计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (13): 90-94.DOI: 10.3778/j.issn.1002-8331.2010.13.027

• 网络、通信、安全 • 上一篇    下一篇

蠕虫智能扩散形式化分析及权策略算法实现

周佳骏,马瑞兴,王 峰3,李肖坚3,4   

  1. 1.安庆师范学院,安徽 安庆 246003
    2.广西经济管理干部学院,南宁 530007
    3.广西师范大学,广西 桂林 541004
    4.北京航空航天大学,北京 100083
  • 收稿日期:2009-01-04 修回日期:2009-03-20 出版日期:2010-05-01 发布日期:2010-05-01
  • 通讯作者: 周佳骏

Formal analysis and algorithmic application on weighted strategy for smart-proliferation of worm

ZHOU Jia-jun1,MA Rui-xing2,WANG Feng3,LI Xiao-jian3,4   

  1. 1.Anqing Teachers College,Anqing,Anhui 246003,China
    2.Guangxi Economic Management Cadre College,Nanning 530007,China
    3.Guangxi Normal University,Guilin,Guangxi 541004,China
    4.Beihang University,Beijing 100083,China
  • Received:2009-01-04 Revised:2009-03-20 Online:2010-05-01 Published:2010-05-01
  • Contact: ZHOU Jia-jun

摘要: 抽象蠕虫扩散的一般过程,采用确定的有限自动机理论,对蠕虫扩散行为进行形式化描述。建立智能扩散自动机模型,为研究蠕虫扩散过程提供了一种直观的形式化手段。提出加权树策略,基于该策略设计智能扩散模型并详细阐述权策略的核心算法,描述蠕虫智能扩散的本质特征和执行过程。形式论证结果表明,该模型能够有效地刻画智能扩散的特征,实现基于堆遍历加权策略的扩散仿真。

关键词: 智能扩散, 形式化分析, 权策略, 堆遍历, 蠕虫

Abstract: The proliferation behavior for worms is formalized by determined finite automata theory and the general process of the proliferation is abstracted.The model of smart-proliferation is set up and intuitive formal means is provided for proliferation research of worms.A strategy is proposed by the weighted tree,and core algorithm of weighted strategy is expounded for the smart-proliferation model.The essence character and execution process of smart-proliferation of worms are described.The results illustrate that the smart-proliferation model can portray the proliferation of intelligent features efficaciously and can achieve the simulation proliferation based on weighted strategy of heap-traversal.

Key words: smart-proliferation, formal analysis, weighted strategy, heap-traversal, worm

中图分类号: