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

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

良性蠕虫对抗恶性蠕虫是结构化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.