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

• 作者: 刘宴兵 唐浩坤 张衡 黄俊
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 结构化P2P网络 逻辑矩阵 蠕虫对抗 节点搅动
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 141-146
• 页数: 6页
• 分类号: TP309
• 字数: 8264字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄俊	重庆邮电大学通信与信息工程学院	128	387	9.0	12.0
2	刘宴兵	重庆邮电大学通信与信息工程学院	87	685	13.0	22.0
3	张衡	西南大学计算机与信息科学学院	6	39	3.0	6.0
4	唐浩坤	电子科技大学计算机科学与工程学院	3	7	2.0	2.0