作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2018, Vol. 44 ›› Issue (10): 42-45,50. doi: 10.19678/j.issn.1000-3428.0051035

所属专题: 网络空间安全专题

• 网络空间安全专题 • 上一篇    下一篇

动态异构冗余系统的安全性分析

王伟1,曾俊杰2,李光松1,斯雪明1,杨本朝1   

  1. 1.信息工程大学 数学工程与先进计算国家重点实验室,郑州 450001;
    2.郑州大学 西亚斯国际学院文理学院,郑州 450001
  • 收稿日期:2018-04-02 出版日期:2018-10-15 发布日期:2018-10-15
  • 作者简介:王伟(1984—),男,讲师、硕士,主研方向为拟态安全、区块链;曾俊杰,讲师;李光松,副教授;斯雪明,教授;杨本朝,讲师。
  • 基金资助:
    国家重点研发计划项目(2016YFB0800100,2016YFB0800101);国家自然科学基金创新研究群体项目(61521003);国家自然科学基金(61602512)。

Security Analysis of Dynamic Heterogeneous Redundant System

WANG Wei1,ZENG Junjie2,LI Guangsong1,SI Xueming1,YANG Benchao1   

  1. 1.State Key Laboratory of Mathematical Engineering and Advanced Computing,Information Engineering University, Zhengzhou 450001,China; 2.Sias International University,Zhengzhou University,Zhengzhou 450001,China
  • Received:2018-04-02 Online:2018-10-15 Published:2018-10-15

摘要: 威胁网络空间安全的主要原因是漏洞和后门问题。为解决网络空间中基于未知漏洞、后门或病毒木马等不确定性的威胁,针对拟态防御的典型架构——动态异构冗余(DHR)系统,建立概率数学模型。从输出一致率、系统攻击成功率等角度讨论系统的安全性,通过对模型的求解和分析,得到DHR系统的攻击成功率的表达式,并给出DHR系统的性质。分析结果表明,DHR系统的抗攻击能力优于静态异构冗余系统。

关键词: 拟态防御, 动态异构冗余, 漏洞, 后门, 主动防御

Abstract: The main causes of threats to cyberspace security are vulnerabilities and backdoor problems.In order to solve the threats based on unknown vulnerabilities,backdoor or virus Trojans in cyberspace,a probabilistic mathematical model is established for the typical architecture of mimic defense,Dynamic Heterogeneous Redundancy(DHR) system.The security of the system is discussed from the perspective of output consistency rate and system attack success rate.Through the solution and analysis of the model,the expression of the attack success rate of the DHR system is obtained,and some properties of the DHR system are analyzed.Analysis results show that the DHR system has better anti-attack capability than the static heterogeneous redundant system.

Key words: mimic defense, Dynamic Heterogeneous Redundancy(DHR), vulnerability, backdoor, active defense

中图分类号: