虛擬化下的可證明安全性:該專案是關於證明虛擬機器管理程式的安全性。背景:可證明安全性是一個概念,它越來越多地用於提供嚴格的保證,保證系統滿足特定安全支援條件。設計
版本歷史記錄
- 版本 N/A 發佈於 2010-02-09
若干修復和更新 - 版本 N/A 發佈於 2010-02-09
軟體細節
- 軟體分類: 網路與互聯網 > 其他
- 發佈者: provablesecurit.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: Array
- 作業系統: windows
虛擬化下的可證明安全性:該專案是關於證明虛擬機器管理程式的安全性。背景:可證明安全性是一個概念,它越來越多地用於提供嚴格的保證,保證系統滿足特定安全支援條件。設計