開發者 provablesecurit.sf.net

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