3、安全与保障融合：构建安全可靠的系统

安全与保障融合：构建安全可靠的系统

在当今数字化时代，系统的安全性和可靠性至关重要。安全不仅意味着系统能够正常运行，还需要考虑恶意攻击和未授权操作带来的风险。本文将探讨安全与保障融合的相关内容，包括安全案例的构建、安全对安全案例的影响、相关安全控制的识别以及安全风险评估等方面。

安全标准与研究进展

安全标准已经要求在危害和风险分析中考虑“恶意和未授权行为”，但处理安全与保障融合的标准框架需要比目前更明确地设计。特别是，通用和特定领域的安全与保障标准之间的关系需要澄清，术语和概念上的差异也需要解决。

在安全与保障融合的研究中，我们采用基于声明 - 论证 - 证据（Claims - Arguments - Evidence）的结构化安全案例方法。这种方法有助于分析安全对现有安全案例的影响，并评估现有安全系统的安全风险。

安全案例的重要性与构建方法

安全案例是基于目标的安全监管和企业治理的重要组成部分。在军事系统、海上石油行业、铁路运输和核工业等领域，明确的安全案例是必需的。

安全案例需要支持系统满足所提出要求的论证。它包含关于系统属性的声明，并通过系统的方法，用证据来证实或反驳这些声明。当前的安全案例实践通常采用Toulmin提出的基本方法，即声明由证据和将证据与声明联系起来的“保证”或论证支持。此外，还有一些变体，如目标结构化表示法（GSN）和声明 - 论证 - 证据（CAE），它们以图形方式呈现声明结构。

构建安全案例有三种主要方法，可通过安全论证“三角形”来描述：
1. 基于声明的方法 ：针对系统的特定安全声明，通过逐步细化的论证和证据来支持。 <