动态异构冗余结构的拟态防御自动机模型

• 作者: 朱维军 郭渊博 黄伯虎
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 动态异构冗余 拟态防御 自动机
• 年，卷（期）: 2019,（10）
• 所属期刊栏目: 学术论文
• 页码范围: 2025-2031
• 页数: 7页
• 分类号: TP301.1|TP309
• 字数: 6420字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2019.10.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱维军	郑州大学信息工程学院	46	121	6.0	9.0
3	黄伯虎	西安电子科技大学计算机学院	10	35	2.0	5.0
4	郭渊博	信息工程大学密码工程学院	41	99	4.0	9.0