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

安全保证主要地址创建合理的理由相信的过程在操作系统是安全的。

保证的关键过程是一代的证据系统通过验证。在本文中,我们讨论了一代的证据和由此产生的属性生成的证据。随着技术支持实现更高水平的复杂性在高安全性的应用程序时,我们需要退一步生成和评估证据的方法和我们的信心在任何证据是如何评估。

下载您的免费拷贝通过填写上面的表格。下载链接的电子邮件将被发送到您提供的电子邮件地址。