12、系统安全分析与接口规范详解

系统安全分析与接口规范详解

1. 基于模型的威胁分析

在系统安全分析中，基于模型的威胁分析是一种重要的方法。它借助UML可靠性配置文件进行网络物理威胁建模，相关安全信息可通过多种图表和表格视图进行捕获和可视化展示，相关资料可从https://www.bruce-douglass.com/safety-analysis-and-design 下载。

1.1 安全分析相关图表

• 安全分析图（SAD） ：这是一种逻辑因果图，与故障树分析（FTA）图类似。它展示了资产、事件和条件如何组合以体现漏洞，对策如何应对漏洞，以及攻击如何导致安全违规。其目的是确定何时何地应添加对策以提高系统安全性，使用逻辑运算（如AND、OR、NOT、XOR等）来组合资产、资产上下文、情况和事件。
• 资产图 ：用于展示资产、资产上下文、漏洞、对策、支持的安全需求和与安全相关的设计元素之间的关系。
• 攻击流程图 ：是一种专门的活动图，带有刻板动作以匹配典型攻击链。其目的是让我们推断攻击如何展开，从而确定插入安全对策行动的合适位置。刻板动作要么将动作识别为攻击链的一部分，要么将其识别为对策，无刻板动作的为正常用户动作。

1.2 表格视图

可以轻松构建表格和矩阵来总结威胁分析。例如，安全态势表是资产、资产上下文、漏洞和对策及其重要安全相关元数据（包括名称、描述、风险编号、严重性、概率、后果和影响）的表格总结。

1.3 目的、输入、输出及操作步骤