16、软件产品线安全案例的认证分析探索

软件产品线安全案例的认证分析探索

1. 背景

在安全案例和软件产品线（SPL）的领域中，我们需要了解一些基础概念。

1.1 安全案例、GSN和变更影响评估

安全案例是一种结构化的论证，它将安全目标分解为子目标，并将安全证据与目标关联起来。通常使用危害评估技术来确定安全目标，每个危害都需要通过实现一个或多个安全目标来缓解。

目标结构化表示法（GSN）是一种用于定义安全案例的图形表示法。GSN模型有四种不同类型的元素：
- 目标 ：根据其子目标的状态、连接的解决方案节点以及涉及的分解策略节点的语义来判断是否满足。
- 解决方案 ：是需要验证的证据，以满足其连接的目标。
- 策略 ：是将一个目标分解为子目标的方式。
- 上下文 ：连接到目标节点，在评估目标是否满足时添加上下文假设。

GSN - IA是一种将系统模型中的更改反映到相关GSN安全案例的算法。其输入包括初始系统模型S、通过可追溯性映射R连接的安全案例A、更改后的系统S′以及记录S和S′之间更改的增量D（D是三元组⟨C0a, C0d, C0m⟩，分别表示添加、删除和修改的元素集）。输出是安全案例A的注释模型K，指示哪些元素需要修订、重新检查或重用。

GSN - IA由三个切片器参数化：系统模型切片器SliceSys和两个安全案例切片器SliceGSNV和SliceGSNR。SliceSys用于确定修改的影响在系统模型内如何传播，SliceGSNV仅跟踪直接依赖关系，而Slic