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

doi:10.3778/j.issn.1002-8331.2010.13.027

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

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

周佳骏^１，马瑞兴^２，王峰³，李肖坚^3，4

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-jun¹，MA Rui-xing²，WANG Feng³，LI Xiao-jian^3，4

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

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

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

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

中图分类号:

TP393

周佳骏^１，马瑞兴^２，王峰³，李肖坚^3，4. 蠕虫智能扩散形式化分析及权策略算法实现[J]. 计算机工程与应用, 2010, 46(13): 90-94.

ZHOU Jia-jun¹，MA Rui-xing²，WANG Feng³，LI Xiao-jian^3，4. Formal analysis and algorithmic application on weighted strategy for smart-proliferation of worm[J]. Computer Engineering and Applications, 2010, 46(13): 90-94.

[1]	宋忠浩，谷雨，陈旭，聂圣东. 基于加权策略的高分辨率遥感图像目标检测[J]. 计算机工程与应用, 2021, 57(13): 199-206.
[2]	张舒娟1，张娟2. 对等网络中被动型蠕虫传播动力学建模与分析[J]. 计算机工程与应用, 2019, 55(11): 60-66.
[3]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[4]	马远佳1，刘道微2. 一种改进的满足后向安全的RFID双向认证协议[J]. 计算机工程与应用, 2017, 53(9): 136-140.
[5]	秦嫚蔓，王峥，王莉. 基于SPIN的远程证明协议的形式化分析及改进[J]. 计算机工程与应用, 2017, 53(1): 34-38.
[6]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[7]	朱晖，李伟华，史豪斌. 基于节点行为的主动P2P蠕虫检测[J]. 计算机工程与应用, 2013, 49(7): 93-97.
[8]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[9]	刘永磊1，2，金志刚3. 无线局域网WPS安全性分析[J]. 计算机工程与应用, 2013, 49(21): 87-89.
[10]	赵旭1，何聚厚2. 基于NLA的Polymorphic蠕虫特征自动提取算法研究[J]. 计算机工程与应用, 2012, 48(8): 122-124.
[11]	范玉涛1，苏桂平2. 一种适于带时间戳安全协议的形式化分析方法[J]. 计算机工程与应用, 2012, 48(36): 116-120.
[12]	李沛武1，雷金娥2. 有色Petri网的扩展使用控制策略模型设计[J]. 计算机工程与应用, 2012, 48(33): 96-100.
[13]	邓清华，金聪，张清国. 一种网络蠕虫的动态传播模型 [J]. 计算机工程与应用, 2011, 47(6): 86-88.
[14]	罗卫敏¹，刘静²，刘井波¹，陈晓峰¹. 基于博弈论研究社交网络内蠕虫的传播[J]. 计算机工程与应用, 2011, 47(3): 74-77.
[15]	徐延贵^1，2，钱焕延¹，李华峰¹. IPv6网络中的蠕虫传播模型[J]. 计算机工程与应用, 2010, 46(6): 78-81.

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

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

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics