3、构建清晰安全论证的新视角

构建清晰安全论证的新视角

在安全案例的构建与评估领域，当前存在一些常见问题，同时科学方法也为安全案例的审视带来了新的思路。接下来，我们将详细探讨这些内容。

安全案例论证结构的问题与解决方法

在现有的安全案例论证结构中，存在一个普遍的问题，即安全案例作者常常将两种不同类型的论证混淆在一起，这两种论证分别是直接的安全行为论证和间接的“提升信心”论证。这种做法带来了一系列不良后果。

后果	详情
关联薄弱	信心论证与直接的风险降低论证之间的关联性往往较弱。
结构混乱	最终的论证常常显得“冗长杂乱”，论证结构不明确，停止标准也不清晰。只要觉得某个观点或证据可能与系统安全有任何关联，就会不断添加，没有明确的边界。

为了解决这个问题，引入了有保证的安全论证这一机制。该机制将安全案例论证明确地分为两个部分：安全论证和配套的信心论证。
- 安全论证 ：只能围绕风险降低的因果链展开论述，不允许包含一般性的“提升信心”论证。
- 信心论证 ：相对于安全论证构建，并且根据安全论证的断言进行清晰的结构化组织。同样，信心论证也不能是毫无限制的，不允许包含与核心安全论证结构无法明确关联的一般性“提升信心”论证。

采用这种分离和明确构