Provable Security Under Virtualization

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

に関しては Provable Security Under Virtualization

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