ドキュメント TutorialにGUIの説明を加える（必須） SPDL仕様書の見直し（必須） seeditのポリシ変換の仕組みのドキュメント（任意） テスト Enforcingモードで自ら人柱(必須） RBAC（任意） GUIの追加（任意） RBAC? アナウンス（必須） アナウンス文、英語…

こんな記事が出てる。 キーワード解説：「セキュアOS」 http://itpro.nikkeibp.co.jp/article/COLUMN/20060619/241161/突っ込みどころがいろいろあるが、こういう風に出ると、 いかにも「使って当たり前っぽい技術」に見えるので素晴らしい。が、実際にどれ…