Provable Security Under Virtualization

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

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

版本历史记录

  • 版本 N/A 发布于 2010-02-09
    若干修复和更新
  • 版本 N/A 发布于 2010-02-09

软件信息