37、基于问题的安全需求引出与细化及模型重构相关技术解析

基于问题的安全需求引出与细化及模型重构相关技术解析

1. 基于问题的安全需求引出与细化（PresSuRE）

在软件开发中，安全需求的准确引出和细化至关重要。PresSuRE 方法就是为了在软件系统需求分析阶段识别安全需求而设计的，它借助问题框架模型来实现这一目标。

1.1 攻击者资产访问图的简化

PresSuRE 工具会生成简化的攻击者资产访问图，以满足可用性等方面的需求。例如，在处理持久电表数据时，工具会对初始的攻击者资产访问图进行简化。简化后的图中，智能电表、本地测量网络（LMN）和临时电表数据不再包含在内，因为相关威胁已被安全需求所覆盖。

1.2 验证过程

为了验证 PresSuRE 方法的有效性，采用了两个实际案例进行研究，分别是智能电表和投票系统。
- 数据准备 ：对于智能电表案例，原始功能需求来自相关项目报告，选取了 13 个最小用例，涵盖 27 个需求，识别出 14 个资产和 7 种攻击者。基于这些信息生成图并引出初始安全需求。
- 评估方法
- 图的评估 ：检查攻击者资产访问图中每条边的标注威胁是否与原始文档中的威胁和安全需求一致，同时查找原始文档中定义但 PresSuRE 未识别的威胁和安全需求，以此测量方法的精确率和召回率。
- 需求的评估 ：汇总攻击者资产访问图边的结果，判断每个需求是否需要补充安全需求，并检查找到的安全需求是否符合原始文档。

1.3 评估结果

智能电表案例的评估