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

doi:10.3778/j.issn.1002-8331.2010.13.027

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (13): 90-94.DOI: 10.3778/j.issn.1002-8331.2010.13.027

• 网络、通信、安全 • Previous Articles Next Articles

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

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

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

1.安庆师范学院，安徽安庆 246003
2.广西经济管理干部学院，南宁 530007
3.广西师范大学，广西桂林 541004
4.北京航空航天大学，北京 100083

通讯作者: 周佳骏

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

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

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

CLC Number:

TP393

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.

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

[1]	HUANG Yuda1, WANG Yiran2, NIU Sijie3. Analysis and Optimization of GSO Algorithm Based on Chaos and Self-Adaptive Search Strategy [J]. Computer Engineering and Applications, 2019, 55(3): 147-153.
[2]	GU Ting, LI Ziyin, WANG Le. Method for Segmentation of Silkworm Cocoons Based on Distance Transformation [J]. Computer Engineering and Applications, 2019, 55(23): 177-181.
[3]	ZHANG Shujuan1, ZHANG Juan2. Dynamical Modeling and Analysis of Passive Worms Propagation in P2P Networks [J]. Computer Engineering and Applications, 2019, 55(11): 60-66.
[4]	LI Qian1, WANG Zheng1, MA Jianfen1, LI Na2. Lightweight mobile payment protocol fairness analysis [J]. Computer Engineering and Applications, 2018, 54(19): 82-87.
[5]	LIN Shijie1，2, DONG Chen1，2, CHEN Mingzhi1，2, ZHANG Fan1，2, CHEN Jinghui1，2. Summary of new group intelligent optimization algorithms [J]. Computer Engineering and Applications, 2018, 54(12): 1-9.
[6]	MA Yuanjia1, LIU Daowei2. Improved mutual authentication with backward security for RFID protocols [J]. Computer Engineering and Applications, 2017, 53(9): 136-140.
[7]	QIN Manman, WANG Zheng, WANG Li. Formal analysis and improvement of remote attestation protocol based on the SPIN [J]. Computer Engineering and Applications, 2017, 53(1): 34-38.
[8]	OUYANG Zhen, LI Ying. Glowworm swarm optimization and matching pursuit sparse decomposition for ecological environmental sounds identification [J]. Computer Engineering and Applications, 2015, 51(2): 198-204.
[9]	YU Lei1, WEI Shimin1, ZHUO Zepeng2. Research on consistence of strand parameters for protocol principals in authentication test theory [J]. Computer Engineering and Applications, 2015, 51(13): 86-91.
[10]	ZHU Dalin, ZHAN Teng. Worm optimization design based on cellular multi-objective genetic algorithm [J]. Computer Engineering and Applications, 2015, 51(13): 263-270.
[11]	LI Xuezhu. RFID-enabled dynamic storage vehicle scheduling based on immune glowworm swarm optimization algorithm [J]. Computer Engineering and Applications, 2014, 50(6): 235-239.
[12]	ZHOU Mingwei, LIU Yuan. Safety enhance research based on DV-hop localization algorithm in Wireless Sensor Networks [J]. Computer Engineering and Applications, 2014, 50(13): 121-126.
[13]	ZHU Hui, LI Weihua, SHI Haobin. Peer behavior based proactive P2P worm detection [J]. Computer Engineering and Applications, 2013, 49(7): 93-97.
[14]	WU Bin, QIAN Cunhua, NI Weihong. Glowworm Swarm Optimization for cross dock scheduling problem [J]. Computer Engineering and Applications, 2013, 49(6): 39-42.
[15]	YU Lei, WEI Shimin. Analysis on properties for principals’ keys on construction of test components [J]. Computer Engineering and Applications, 2013, 49(6): 114-117.

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

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics