虚拟化下的可证明安全性:该项目是关于证明虚拟机管理程序的安全性。背景:可证明安全性是一个概念,它越来越多地用于提供严格的保证,保证系统满足特定安全支持条件。设计
版本历史记录
- 版本 N/A 发布于 2010-02-09
若干修复和更新 - 版本 N/A 发布于 2010-02-09
软件信息
- 软件分类: 网络与互联网 > 其他
- 发布者: provablesecurit.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
虚拟化下的可证明安全性:该项目是关于证明虚拟机管理程序的安全性。背景:可证明安全性是一个概念,它越来越多地用于提供严格的保证,保证系统满足特定安全支持条件。设计