13、安全案例自动化与维护：现状与展望

安全案例自动化与维护：现状与展望

安全案例自动化

在安全案例中，能力是一个重要因素。自动化安全案例模式的设计应能提供足够信息，抓住问题的本质。模块化也很重要，它能让安全案例片段独立检查和审查，减轻用户的认知负担，还能根据不同粒度分析系统的需求，将案例聚合为更大的片段。设计自动安全案例时，还需注意限制开发者在规范中添加的额外信息量，使规范简洁，避免无关内容。

相关工作中，有许多不同的工具和方法被提出：
- AdvoCATE ：Denney 等人提出的工具集，用于自动创建和管理安全案例。
- Resolute ：一种保证案例语言和工具，用户需手动制定声明和证明规则。
- SADL 语言形式化安全保证案例 ：Meng 等人用 SADL 语言形式化可查询的安全保证案例，并利用故障树分析的证据来证实声明。

此外，还有其他一些工作，如 Alexander 等人详细分析了使用保证案例论证系统安全问题的好处；Agudo 等人通过将系统开发生命周期的不同阶段映射到安全案例的结构，研究安全案例的开发。

我们在现有工作的基础上进行了改进，创建了特定领域的模式，利用 MITRE 的 CAPEC 威胁和 NIST 的网络防御自动生成安全案例片段。工具链实现具有诸多优势，如自动模式实例化、自动生成保证案例片段、用户定义的论证实例化、集成和管理基于形式方法工具的证据、片段模块化以及易于管理片段等。还会为片段生成 XML 工件，供其他工具使用，以创建更高级别的片段、存档以及进行进一步的本体和形式分析。

以下是对现有相关工作的总结表