| 基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型 |
| |
| 引用本文： | 唐浩坤,刘宴兵,黄俊,张衡.基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型[J].计算机科学,2013,40(5):141-146. |
| |
| 作者姓名： | 唐浩坤 刘宴兵 黄俊 张衡 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院 成都610054;重庆邮电大学通信与信息工程学院 重庆400065;重庆邮电大学通信与信息工程学院 重庆400065;西南大学计算机与信息科学学院 重庆400715 |
| |
| 基金项目： | 本文受“新一代宽带无线移动通信网”国家科技重大专项课题(2011ZX03002-004-03),重庆市高等教育成果转化项目(Kjzh10206),公安部信息网络安全重点实验室项目(C11609)资助 |
| |
| 摘 要： | 良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。
|
| 关 键 词： | 结构化P2P网络 逻辑矩阵 蠕虫对抗 节点搅动 |
| 收稿时间： | 2012/7/26 0:00:00 |
| 修稿时间： | 3/5/2013 12:00:00 AM |
Structured P2P Worm-anti-worm Model Based on Formalized Logic Matrix |
| |
| TANG Hao-kun,LIU Yan-bing,HUANG Jun and ZHANG Heng.Structured P2P Worm-anti-worm Model Based on Formalized Logic Matrix[J].Computer Science,2013,40(5):141-146. |
| |
| Authors: | TANG Hao-kun LIU Yan-bing HUANG Jun and ZHANG Heng |
| |
| Affiliation: | School of Computer Science & Engineering,University of Electronic Science and Technology of China,Chengdu 610054,China;School of Communication and Information Engineering,Chongqing University of Posts and Telecommunications,Chongqing 400065,China;School of Communication and Information Engineering,Chongqing University of Posts and Telecommunications,Chongqing 400065,China;School of Computer and Information Science,Southwest University,Chongqing 400715,China |
| |
| Abstract: | |
| |
| Keywords: | Structured P2P network Logic matrix Worm-anti-worm P2P churn |
|
|
点击此处可从《计算机科学》下载全文 |
|
