---
# System prepended metadata

title: 'The Xenon Separation VMM: Secure Virtualization Infrastructure for Military Clouds'
tags: [論文メモ]

---

---
tags: 論文メモ
---

# The Xenon Separation VMM: Secure Virtualization Infrastructure for Military Clouds

## 背景

### 問題意識
- 軍用に耐えるクラウドのためのVMM実装
- separation kernelは強すぎる
    - 汎用のVMMの大体にするのは難しい

### 問題への貢献
- separation VMM
    - separation kernelのTCBや形式検証などの制約を弱める
    - 一般のHWやOSをサポートする
- EAL 5くらいを目標とした実装
- low implementation effort
    - Xenの改造・形式化→Xenon separation VMM

## 具体的な手法など
- why xen
    - type-1
    - modular codebase
    - flask-based security features (XSM, Xen Security Modules)
- modification to xen
    - コードベースを減らす
        - 著名なOSなどに必要ない機能を削除 e.g. x86_64以外のアーキテクチャ
        - 最大サイクロマティック複雑度がxen 4.1 2450 → xenon 70
    - セキュリティ標準に準拠したリファクタ
        - ページ再割当ての際にzeroing
    - ツールを使って自動的にドキュメントをEAL5水準に変換
        - i.e. semiformal description
- ランダムなファイルをbzip2で圧縮するベンチだど0.7%くらいの劣化で済むらしい
    - もっとIOとか見たくね？