面向SDN的脆弱性扩散形式化建模与扩散因素分析

• 作者: 李可 王健 赵中楠 赵国生
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 软件定义网络 Bio-PEPA 形式化建模 脆弱性扩散 抑制策略
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 分布式系统安全
• 页码范围: 2256-2268
• 页数: 13页
• 分类号: TP393
• 字数: 10346字
• 语种: 中文
• DOI: 10.7544/issn1000-1239.2018.20180447

摘要

SDN将传统网络控制面与转发面解耦,在实施集中化管控的同时引入诸多新的安全和管理问题.脆弱点类型在SDN各层及南北向接口存在差异性,且传播趋势不同.针对脆弱性在SDN层内及层间的扩散效果及抑制策略问题,提出了一种基于Bio-PEPA的SDN脆弱性扩散形式化模型.1)对Bio-PEPA基础语义进行讨论,阐明其适用于具有明显分层架构的SDN及具有动态性的脆弱性扩散过程;2)探讨SDN中各层存在的脆弱性问题,并对SDN中存在的脆弱性以层为单位进行建模,通过对SDN层内及层间脆弱性扩散过程构建形式化模型,进而分析SDN内脆弱性在水平(层内)及垂直(层间)2个维度内的扩散机理,从而更好地抑制脆弱性在SDN内的扩散;3)通过仿真实验得出可以通过降低连接转化率、提升检测转化率及修复转化率来有效抑制SDN的脆弱性扩散.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵中楠	哈尔滨理工大学计算机科学与技术学院	17	19	2.0	3.0
2	赵国生	哈尔滨师范大学计算机科学与信息工程学院	58	246	7.0	13.0
3	王健	哈尔滨理工大学计算机科学与技术学院	52	131	6.0	8.0
4	李可	哈尔滨理工大学计算机科学与技术学院	2	6	2.0	2.0