SeL4

セキュアすぎる！形式証明済みSeL4マイクロカーネル入門[pdf]：堅牢性の秘密とは？