Provable Security Under Virtualization

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 3.0/5 - ‎1 ‎評分

虛擬化下的可證明安全性:該專案是關於證明虛擬機器管理程式的安全性。背景:可證明安全性是一個概念,它越來越多地用於提供嚴格的保證,保證系統滿足特定安全支援條件。設計

版本歷史記錄

  • 版本 N/A 發佈於 2010-02-09
    若干修復和更新
  • 版本 N/A 發佈於 2010-02-09

軟體細節