利用 VSDL 实现网络靶场虚拟场景生成的自动化
密码学与安全
2023-02-01 v2
摘要
网络靶场是用于培训安全专家以及测试攻击和防御工具与流程的环境。通常，网络靶场模拟一个或多个关键基础设施，攻击（红）队和防御（蓝）队分别需要攻陷和保护这些设施。该基础设施可以物理搭建，但更便捷的方式是依赖基础设施即服务（IaaS）范式。尽管一些现代技术支持 IaaS，但感兴趣场景的设计与部署大多仍是手动操作。因此，网络靶场通常只承载少量（有时仅一个）固定场景，这已成为常见做法。然而，复用同一场景可能显著降低培训和测试环节的有效性。在本文中，我们提出了一个用于自动化定义和部署任意复杂网络靶场场景的框架。该框架依赖于虚拟场景描述语言（VSDL），即一种领域特定语言，用于定义所需基础设施的高级特征，同时隐藏底层细节。VSDL 的语义通过虚拟基础设施必须满足的约束来给出。这些约束随后被提交给 SMT 求解器以检查规范的可满足性。若可满足，该规范将生成一个模型，并自动转换为一组部署脚本，提交给 IaaS 提供商。
引用
@article{arxiv.2001.06681,
title = {Automating the Generation of Cyber Range Virtual Scenarios with VSDL},
author = {Gabriele Costa and Enrico Russo and Alessandro Armando},
journal= {arXiv preprint arXiv:2001.06681},
year = {2023}
}