开发者 provablesecurit.sf.net

Provable Security Under Virtualization 免费

虚拟化下的可证明安全性：该项目是关于证明虚拟机管理程序的安全性。背景：可证明安全性是一个概念，它越来越多地用于提供严格的保证，保证系统满足特定安全支持条件。设计