如何生成安全摄像头：面向社会技术系统的防御生成

近年来，安全研究人员开始研究从社会技术系统模型自动生成攻击树。自动化风险分析这一趋势的下一步明显是自动化选择安全控制以应对检测到的威胁。然而，现有的社会技术模型过于抽象，无法表示从业者和标准推荐的所有安全控制。在本文中，我们提出了一种攻击-防御模型，由一组攻击-防御束组成，以与社会技术模型一起生成和维护。攻击-防御束可用于直接从模型合成攻击-防御树以提供基本的攻击-防御分析，也可用于选择和维护模型本身无法处理的安全控制。