「SELinux Security Policy Configuration System with Higher Level Language」

［Journal of Information Processing Vol.18, pp.201-212］
［論文概要］

　セキュアOS SELinuxは、セキュリティポリシ設定の際に、パス名とラベルの関連付けや数百のパーミッションの取り扱いが必要かつ１０万行以上の設定を扱う必要があるため、普及が進んでいない。これに対し、本論文では、SELinuxのセキュリティポリシ設定システムSEEditを提案する。SEEditは，統合パーミッションとラベル隠ぺいを特徴とする高級設定言語SPDLとSPDLツールから成り立つ。SEEditでPCサーバおよび組込みシステム向けにSELinuxのセキュリティポリシを作成し、数百行オーダーの記述で設定できることを確認した。



［推薦理由］

　本論文では，セキュリティを強化したオペレーティングシステム（セキュアOS）を運用する上で，管理者にとって大きな負担となるセキュリティポリシーの設定を支援するシステムを提案している．セキュアOSを用いてサーバシステムを堅牢化する上で，提案されたセキュリティポリシー記述言語及びポリシー設定システムは，今後需要が見込まれるセキュアOSの安全な運用の助けになることが予想され，その効果が見込まれる有用性の高い成果であると言える．実際，有用性についても高く評価する声が数多くあった．また，本論文で取り扱う課題は，代表的なセキュアOSの一つであるSELinuxだけの問題ではなく，セキュアOSの運用一般において共通することであり，適用範囲の広さも十分に見込める．よって，本論文を論文賞として推薦する．