FASHION:虚拟化网络的功能与攻击图安全混合优化
网络与互联网体系结构
2022-08-09 v3 密码学与安全
摘要
维护一个有弹性的计算机网络是一项微妙的、存在冲突优先级的工作。应当在控制由攻击者带来的风险的同时服务流量。漏洞公开后,管理员在等待补丁期间匆忙手动缓解风险。我们提出 FASHION:一种在路由流量与这些流量所带来的安全风险之间取得平衡的线性优化器。FASHION 将路由形式化为带侧约束的多商品流问题。FASHION 利用概率攻击图(Frigault 等,Network Security Metrics 2017)中风险的两种近似来表述安全性。FASHION 的输出是一组可由 Frenetic(Foster 等,ICFP 2011)消费的软件定义网络规则。我们引入了一个拓扑生成工具,可创建包含流量与漏洞的数据中心网络实例。FASHION 在多达 600 个设备、数千条流以及百万边攻击图的实例上执行。在最大实例上求解时间平均 30 分钟(最小实例上数秒)。为确保安全目标的准确性,使用 Frigault 等所定义的风险对输出解进行评估。FASHION 使企业能够根据功能或安全需求的变化重新配置其网络。
引用
@article{arxiv.1910.07921,
title = {FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks},
author = {Devon Callahan and Timothy Curry and Hazel Davidson and Heytem Zitoun and Benjamin Fuller and Laurent Michel},
journal= {arXiv preprint arXiv:1910.07921},
year = {2022}
}
备注
Accepted to IEEE TDSC. This version adds an online evaluation Sections 4.2 and 5.2.4