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

摘要：

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

关键词：软件定义网络、Bio-PEPA、形式化建模、脆弱性扩散、抑制策略

所属期刊栏目：55

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

资助基金：国家自然科学基金项目61403109,61202458;高等学校博士学科点专项科研基金项目20112303120007;黑龙江省自然科学基金项目F2017021;黑龙江省教育厅科研基金项目12541169;哈尔滨市科技创新人才研究专项资金项目2016RAQXJ036

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

页数：共13页

页码：2256-2268