[论文解读] Cybersecurity Dynamics: A Foundation for the Science of Cybersecurity

Shouhuai Xu|arXiv (Cornell University)|Oct 9, 2020

Information and Cyber Security被引用 5

一句话总结

本文提出了网络空间安全动力学（Cybersecurity Dynamics）作为一项整体性框架，通过攻击-防御交互驱动的全球网络空间安全状态动态演化，实现对网络空间安全的建模、分析与量化。该框架确立了三大核心支柱——网络安全度量、第一性原理建模与数据科学分析，从而实现对网络安全防御决策的描述性、预测性与规范性能力。

ABSTRACT

Cybersecurity Dynamics is new concept that aims to achieve the modeling, analysis, quantification, and management of cybersecurity from a holistic perspective, rather than from a building-blocks perspective. It is centered at modeling and analyzing the attack-defense interactions in cyberspace, which cause a ``natural'' phenomenon -- the evolution of the global cybersecurity state. In this Chapter, we systematically introduce and review the Cybersecurity Dynamics foundation for the Science of Cybersecurity. We review the core concepts, technical approaches, research axes, and results that have been obtained in this endeavor. We outline a research roadmap towards the ultimate research goal, including a systematic set of technical barriers.

研究动机与目标

• 建立一个超越孤立构建模块技术的科学基础，推动对网络安全性系统性、动态性的整体理解。
• 解决由于人为驱动的攻防交互导致的全球网络空间安全状态实时演化建模缺乏统一框架的问题。
• 通过系统性度量、第一性原理模型与数据驱动验证，实现量化的网络安全防御决策。
• 克服现有方法（如攻击图谱与流行病模型）的局限性，引入自适应、主动与积极防御的动态机制。
• 通过以度量、建模与数据分析为核心的三元研究框架，为完整的网络空间安全科学奠定基础。

提出的方法

• 提出一种基于‘原子’（atoms）的模型分辨率框架，将不可分割的单元（如计算机或软件组件）作为整体建模的基本抽象层。
• 引入四种类型的网络安全防御动态：预防性、反应性、自适应性与主动性防御，分别反映针对不断演变威胁的不同战略姿态。
• 借鉴生物学流行病模型、粒子相互作用系统与微观经济学基础，建模全球网络安全状态随时间的随机演化过程。
• 系统性地开发一组网络安全度量指标，用于描述网络配置、漏洞、防御姿态、威胁模型与态势感知。
• 整合数据科学分析，以提取模型参数并验证或证伪第一性原理模型，形成理论与数据之间的反馈回路。
• 建立一个三元研究框架，使度量、第一性原理建模与数据科学分析相互依赖、相互增强。

实验结果

研究问题

• RQ1 如何系统性地建模并量化由攻防交互驱动的全球网络安全状态的动态演化过程？
• RQ2 支配网络安全状态演化的根本规律是什么？这些规律如何从第一性原理推导得出？
• RQ3 如何系统性地发展网络安全度量指标，以描述配置、漏洞、威胁与防御姿态？
• RQ4 数据科学分析在参数化与验证网络安全动力学第一性原理模型中扮演何种角色？
• RQ5 度量、建模与数据科学分析的整合如何促成网络安全防御中的预测性、规范性与描述性能力？

主要发现

• 网络空间安全动力学提供了一个整体性、系统性的框架，将全球网络安全状态的演化建模为攻防交互的结果，支持实时态势感知。
• 该框架可通过测量不同防御姿态对最终全球网络安全状态的影响，实现对防御姿态的量化比较。
• 受流行病模型与粒子系统启发的第一性原理模型，能够描述网络安全状态随时间的随机演化，具备预测与规范能力。
• 将数据科学分析与第一性原理建模相结合，可实现参数提取与模型验证，实现理论与实证观察之间的闭环。
• 该框架与攻击图谱的区别在于建模时间动态而非静态攻击路径枚举；与传统流行病模型的区别在于引入了主动防御机制。
• 研究路线图指出了关键技术障碍，包括模型抽象、参数化与可扩展性，这些障碍必须被克服，才能实现成熟的网络空间安全科学。