|
一种基于Bio-PEPA的分布式虚拟化系统脆弱性扩散模型
吕宏武 王慧强 林俊宇 冯光升 郭方方
脆弱点类型差异和脆弱性演化对脆弱性扩散过程具有显著影响,而现有脆弱性扩散模型对此还缺少深入研究.该文提出一种基于分簇思想的分布式虚拟化系统脆弱性扩散模型,首先按照节点包含脆弱点类型的不同进行分簇,其次利用Bio-PEPA静态分层特性,对脆弱性在簇内、簇间传播,以及簇间迁移演化过程进行建模.最后,将Bio-PEPA模型转化为常微分方程求解,分析分布式虚拟化系统脆弱性扩散的特点和规律,避免了传统分析方法的状态空间爆炸问题.实验结果显示,可以通过提升系统修复能力、降低簇间传播速率、减小簇间变迁速率,抑制分布式虚拟化系统的脆弱性扩散. 关键词 脆弱性分析;脆弱性扩散;分布式虚拟化系统;Bio-PEPA;云计算 中图法分类号 TP309 DOI号 10.11897/SP.J.1016.2016.00391
一种基于Bio-PEPA的分布式虚拟化系统脆弱性扩散模型.pdf
(1.12 MB, 下载次数: 0)
|
|