SELinux Policy Editor 1.3.0をアップロードした。
開発版という位置付け。今回はGUIは無しで、Simplified Policyのみ。
http://seedit.sourceforge.net/
を見てください。

変更点

セキュリティの向上がおもな仕事。
(1) Simplified Policyでどんなパーミッションが統合されているか、サポートされてないかが一目瞭然になった
http://seedit.sourceforge.net/doc/permission_integrate/
に一覧表があります。
(2)サポートしないパーミッション(つまり全ドメインに許可してしまっているパーミッション)については、セキュリティ上の裏付けをきちんと考えてあります(論文はまだアップしてませんが…)
(3) ファイルの詳細設定パーミッションがサポートされた
これは、岡山大学との共同研究成果です。

来週MLにアナウンスするか…