基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型  

Structured P2P Worm-anti-worm Model Based on Formalized Logic Matrix

作　　者：唐浩坤[1] 刘宴兵[2] 黄俊[2] 张衡[3] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054 [2]重庆邮电大学通信与信息工程学院,重庆400065 [3]西南大学计算机与信息科学学院,重庆400715

出　　处：《计算机科学》2013年第5期141-146,共6页Computer Science

基　　金："新一代宽带无线移动通信网"国家科技重大专项课题(2011ZX03002-004-03);重庆市高等教育成果转化项目(Kjzh10206);公安部信息网络安全重点实验室项目(C11609)资助

摘　　要：良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。P2P anti-worms is one of the effective countermeasure to malignant worms in structured P2P networks, but the existing models are too complex in describing the propagation processes of worms under attack-defense environ- ment. To address this problem, a simple structured P2P worm-anti-worm model was presented. This model performs the form description to the antagonistic propagation of P2P anti-worms and malignant worms in structured P2P networks by the support of logic matrix, and a number of key parameters that Mfect the propagation speed of malignant worm un- der attack-defense environment can be deduced rapidly by the model, besides, considering the significant influence of P2P churn feature on worm propagation, the change rate of nodes is added to the model to improve its accuracy. The ex- perimental results show that formalized logic matrix can reduce the complexity of worm propagation model under at- tack-defense environment, rapidly identify the key factors that restrict the spread of worms, and supply the reference for the following research work on defending worms.

关 键 词：结构化P2P网络 逻辑矩阵 蠕虫对抗 节点搅动 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]