复杂系统的安全保证第1部分:复杂性

组成系统的组件不具有“安全”属性，因为安全是组件之间相互作用的结果。在系统上下文之外调查组件不会确定这种属性。这挑战了更传统的单边还原论(即通过检查组成部分来调查现象)来考虑安全的方法，这种方法在很大程度上使用组件可靠性作为安全的代理。由于安全性是一种突现属性，我们需要理解突现的本质和复杂性，以便能够分析系统属性，如安全性。

请填写上面的表格，下载您的免费副本。带有下载链接的电子邮件将被发送到您提供的电子邮件地址。