基于自动机理论的网络攻防模型与安全性能分析

• 作者: 张帆 沈剑良 邬江兴 郭威
• 来源期刊: 信息安全学报
• 学科: 工学
• 关键词: 网络空间安全 自动机 变焦 攻防模型 安全性能 网络空间拟态防御 多参数不确定性
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 拟态防御技术研究专刊
• 页码范围: 29-39
• 页数: 11页
• 分类号: TP309.1
• 字数: 11426字
• 语种: 中文
• DOI: 10.19363/j.cnki.cn10-1380/tn.2016.04.003

摘要

针对当前自动机模型对系统状态表达不完整,单一视角建模无法满足网络攻防行为刻画需求的问题,本文提出一种视角可变的变焦有限自动机(Zooming Finite Automata, ZFA)结构。ZFA使用完整的参量集合取值对状态进行标示,设置观测系数增强模型对于多角度分析系统行为过程的能力。结合ZFA结构给出了网络攻防模型和安全性能分析方法,分析揭示了传统安全手段的天然劣势以及移动目标防御技术的局限性。最后,讨论了网络空间拟态防御(Cyberspace Mimic Defense, CMD)技术中核心部件——异构执行体的实现结构,从理论上证明了构建“多参数”不确定性可获得超线性增益。