プログラム provablesecurit.sf.net

仮想化の下でのセキュリティの実証: プロジェクトはハイパーバイザーのセキュリティを証明することです。背景: 立証可能なセキュリティは、システムが speci ed セキュリティ の推進の誤りを満たしていることを厳密に保証するためにますます使用される概念です。デザイン