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

发布时间：2019-04-21 13:06

【摘要】：良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。
[Abstract]:Benign worm anti-malignant worm is one of the effective methods to deal with worm attack in structured P2P environment, but the existing models describe the propagation process of worm in anti-environment is too complex. In order to solve this problem, a simple structured P2P worm resistance model is proposed. The model uses logical matrix to formally describe the anti-propagation process of malignant worms and benign worms in structured P2P networks. With the help of the model, the key factors affecting the propagation efficiency of malignant P2P worms in the anti-P2P environment can be deduced quickly. In addition, considering the significant influence of P2P node agitation on worm propagation, the node change rate is introduced into the model to improve the accuracy of the model. Experiments show that with the help of formal logic matrix, the complexity of worm propagation model in anti-worm environment can be reduced effectively, and the key factors restricting worm propagation can be found quickly, which can provide guidance for the subsequent worm defense.
【作者单位】：电子科技大学计算机科学与工程学院;重庆邮电大学通信与信息工程学院;西南大学计算机与信息科学学院;
【基金】：“新一代宽带无线移动通信网”国家科技重大专项课题(2011ZX03002-004-03) 重庆市高等教育成果转化项目(Kjzh10206) 公安部信息网络安全重点实验室项目(C11609)资助
【分类号】：TP393.08

【相似文献】