基于随机进程代数的P2P网络蠕虫对抗传播特性分析  

Propagation Characteristics Analysis of Worm-Anti-Worm in P2P Network Based on Stochastic Process Algebra

作　　者：严博[1] 吴晓平[1] 廖巍[1] 李凤华[2] 

机构地区：[1]海军工程大学信息安全系,湖北武汉430033 [2]北京电子科技学院电子信息工程系,北京100070

出　　处：《电子学报》2012年第2期293-299,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No.71171198);博士后科学基金特别资助(No.201003757);教育部重点项目(No.209156);北京市自然科学基金(No.4102056);新闻出版重大科技工程项目-数字版权保护技术研发工程(No.GXTC-CZ-1015004/05)

摘　　要：研究P2P网络中良性蠕虫和恶意蠕虫在对抗传播过程中的特性,可为制定合理的蠕虫对抗策略提供科学依据.提出一种基于随机进程代数的P2P网络蠕虫对抗传播的建模与分析方法.首先,分析了传播过程中蠕虫之间的对抗交互行为以及网络节点的状态转换过程;然后,利用PEPA语法建立了恶意蠕虫初始传播阶段与蠕虫对抗阶段的随机进程代数模型;最后,采用随机进程代数的流近似方法,推导得到能够描述蠕虫传播特性的微分方程组,通过求解该方程组,分析得到P2P蠕虫的对抗传播特性.试验结果表明,良性蠕虫可以有效遏制P2P网络中的恶意蠕虫传播,但需要根据当前的网络条件制定科学的传播策略,以减少良性蠕虫自身的传播对网络性能的影响.In order to provide scientific bases for developing rational benign worm propagation policy in P2P networks, the propagation characteristics of benign worms in countering against malicious worms should be detailed researched. In this paper, a modeling and analysis method for propagation of worm-anti-worm in P2P network is proposed based on stochastic process algebra （ SPA）. Through analyzing the infractions between benign worms and malicious worms and the network node＇ s state transition pro- cess, two SPA models are built by using PEPA syntax to describe the malicious worms＇ initial propagation phase and the worm-antiworm phase respectively. To analysis these models, the paper makes use of continuous state-space approximation to transform the models into a set of ODEs. Simulation results show that the benign worms can effectively contain the spread of malicious worms, but it should apply scientific propagation policy according to the current network conditions, so as to ease the pressure of the network leaded by the propagation of benign worm.

关 键 词：对等网络 良性蠕虫 传播模型 随机进程代数 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]