19、安全与安保交互的起源解析

安全与安保交互的起源解析

1. 安全与安保的交织关系

安全（保护免受意外故障或保障人员福祉）和安保（保护系统或人员免受有害攻击）是相互交织的。例如，一扇锁着的门能防止窃贼进入，提高了安保性，但在发生火灾时，却会阻碍人员逃生，降低了安全性。因此，在分析时需要将二者进行整合。然而，当确保安全和安保的措施可能相互冲突时，分析工作就变得复杂起来。

为了更好地理解安全与安保的交织关系，我们需要探究它们相互作用的起源。目前，虽然有像故障与攻击树（FATs）组合这样的模型用于捕捉安全与安保的交互，但这些交互具体源于何处仍不明确。例如，系统中的哪些元素会导致安全与安保的交互？安全或安保相关的措施是否相互依赖？措施是否依赖于安全或安保相关的要求，反之亦然？

2. 背景知识

2.1 安全与安保交互类型

安全与安保交互类型主要有以下几种：
- 条件依赖 ：安全要求的满足为安保提供条件，反之亦然。
- 相互强化 ：安全要求或措施的满足有助于安保，反之亦然。
- 对抗 ：安全和安保要求或措施同时考虑时会导致冲突情况。
- 独立 ：二者无交互。

在本文中，我们主要关注对抗这种交互类型，并通过一个用例进行说明，其他交互类型将在未来的工作中探讨。

2.2 故障与攻击树

FATs 结合了动态攻击树（具有顺序与门，用于将攻击建模为一系列步骤）和动态故障树（具有优先与门，用于建模备用组件和功能依赖）。在我们对 FATs