■

物好きな人用メモ

マニュアルも最低限の項目だけは揃ってきた。
CUIだけなら，使えるかも。
早く使いたい人は，
CVSから，seedit-converter, seedit-policy, seedit-doc
をゲットしてください。
seedit-doc/simplified_policy/manual.texを
latexでコンパイルするとインストール方法などが記されたマニュアルが出てきます。
GUIもseedit-guiをselinux.wbmという形にtarで固めて，webminからインストールすれば使えるはず。
今回は，「Simplified Policy」を前面に出してリリースする予定。一見したところ，ただのGUIツールと勘違いされる気がするので。

名称について

• converterおよびポリシーを「Simplified Policy(和訳は今までどおり中間設定言語？それとも簡易ポリシー？）」*1と呼ぶことにする。
• GUIを含めた全体を「SELinux Policy Editor」と呼ぶことにする。

*1:九大の論文 ON THE SECURITY OF SELINUX WITH A SIMPLIFIED POLICYで，「SIMPLIFIED POLICY」と呼ばれていたことが語源。昔は「中間設定言語」の，よい英訳がなくて困ってました。九大さんありがとう。