17、复杂系统风险分析与参数估计方法

复杂系统风险分析与参数估计方法

1. 风险分析相关语言和方法

在风险分析领域，存在多种语言和方法。CORAS语言源于一个UML（统一建模语言）的概要文件，它是欧盟资助的CORAS4研究项目的一部分。后来，基于工业案例研究的经验和实证调查，CORAS语言在多个方面进行了定制和改进。

一些相关的概念和方法包括：
- 误用案例 ：是一种UML用例，用于描述系统不应允许的功能，它是上述UML概要文件开发的重要灵感来源。
- UML的安全扩展 ：如UMLSec和SecureUML等，这些方法旨在比CORAS语言更详细地捕捉安全属性和安全方面，但它们的重点不在于头脑风暴会议。
- 故障树分析（FTA） ：使用树状符号，顶节点代表不希望发生的事件或故障，可能导致顶事件的不同事件被建模为节点的分支，叶节点为致因事件。CORAS的威胁图有时看起来有点像故障树，但可能有多个顶节点。
- 事件树分析（ETA） ：专注于说明事件的后果及其概率，事件树在很大程度上也可以用CORAS的符号进行模拟。
- 攻击树 ：旨在基于系统可能面临的攻击，提供一种正式且有条理的方式来描述系统的安全性。其符号使用类似于故障树的树状结构，攻击目标作为顶节点，实现目标的不同方式作为叶节点。CORAS方法支持这种建模方式，还便于指定攻击发起者（威胁）和攻击造成的损害（资产损失）。

此外，将图表分为上下文场景和系统场景的做法，受到了用于促进分布式系统模块化推理的假设 - 保证范式的启发。