复杂系统的安全保证第3部分:验证和证据

安全保证主要涉及为系统在运行期间的安全建立合理信心的过程。

保证过程的关键是通过验证生成关于系统的证据。本文讨论了证据的生成和生成证据的结果性质。随着技术使更高层次的复杂性得以在安全关键型应用中实现，我们需要后退一步，重新评估生成证据的方法，以及如何评估我们对任何证据的信心。

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