A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures

ZHU Wei-jun; GUO Yuan-bo; HUANG Bo-hu

doi:10.3969/j.issn.0372-2112.2019.10.002

您当前的位置：

首页 >

文章列表页 >

A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures

更新时间：2025-07-16

- A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures
- Acta Electronica Sinica Vol. 47, Issue 10, Pages: 2025-2031(2019)
- 作者机构：
  
  1. 郑州大学信息工程学院,河南,郑州,450001
  2. 北京大学信息科学技术学院,北京,100871
  3. 信息工程大学密码工程学院,河南,郑州,450001
  4. 西安电子科技大学计算机学院,陕西,西安,710071
  5. 郑州大学信息工程学院,河南,郑州,450001
  6. 北京大学信息科学技术学院,北京,100871
  7. 信息工程大学密码工程学院,河南,郑州,450001
  8. 西安电子科技大学计算机学院,陕西,西安,710071
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.U1204608);National Key Research and Development Program of China (No.2016YFB0800100)
- DOI：10.3969/j.issn.0372-2112.2019.10.002
  CLC： TP301.1TP309
- Published Online：25 October 2019，
  
  Published：2019
- 稿件说明：
移动端阅览
ZHU Wei-jun, GUO Yuan-bo, HUANG Bo-hu. A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures[J]. Acta Electronica Sinica, 2019, 47(10): 2025-2031.
DOI：

ZHU Wei-jun, GUO Yuan-bo, HUANG Bo-hu. A Mimic Defense Automaton Model of Dynamic Heterogeneous Redundancy Structures[J]. Acta Electronica Sinica, 2019, 47(10): 2025-2031. DOI： 10.3969/j.issn.0372-2112.2019.10.002.

摘要

动态异构冗余结构是拟态防御技术的常用工程模型.然而，目前尚缺乏对该结构实施形式化分析的手段，因为该结构缺乏形式化建模方法.针对此问题，使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先，使用单个有穷状态自动机为单个执行体建模；其次，使用有穷状态自动机的并行组合为执行体组合建模；再次，修改状态迁移规则，得到可描述攻防行为的拟态防御自动机模型；最后，根据该自动机模型的状态条件，分析动态异构冗余结构上拟态攻防行为的安全性.此外，也可使用交替自动机为拟态攻防建模，并把安全性自动分析规约为交替自动机模型检测问题.

Abstract

Up to now

the Dynamic Heterogeneous Redundancy (DHR) structure is a kind of important engineering model about the Mimic Defense (MD) technique. However

there is still a lack of way of formal analysis for DHR structures as there is no formal model available for a DHR structure. To address this problem

we use a Finite State Automaton (FSA) and its Parallel Automaton (PA) to establish a computing model for some attacks and mimic defenses. First

each FSA is employed to model each execution body

while there are a number of execution bodies in a DHR structure. Second

these FSAs are combined in parallel to model the combination of execution bodies. Third

one can get a model of MD automaton which can describe the attacks and MD actions

by modifying the state transition rules. Finally

one can analyse the attacks and MD actions on a DHR structure

according to the conditions of the PA states. Furthermore

we use an Alternating Finite Automaton (AFA) to model some attacks and MD actions. As a result

the automatic MD analysis problem is reduced to the solved AFA model checking problem.

关键词

Keywords

references

Views

205

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Security Analysis Approach for Dynamic Heterogeneous Redundancy Model Based on Probability Analysis

Design and Implementation of Microcontroller Based on Dynamic Heterogeneous Redundancy Architecture

A DNS Architecture Based on Mimic Security Defense

Related Author

ZHENG Qiu-hua

HU Cheng-nan

CUI Ting-ting

SHEN Yan-zhao

ZENG Ying-pei

WU Ting

OUYANG Ling

SONG Ke

Related Institution

School of Cyberspace Security, Hangzhou Dianzi University

Hangzhou Innovation Institute, Beihang University

Institute of Information Technology， Information Engineering University

School of Electronic Information， Zhongyuan University of Technology

国家数字交换系统工程技术研究中心(NDSC)

⁰