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

摘要：

良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂.针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型.该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素.此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性.实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导.

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

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2013-07-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：141-146