論理型言語によるSELinux向け認可判定機構の実装と評価

• Item type: Symposium(1)
• 公開日: 2014-10-15
• タイトル: 論理型言語によるSELinux向け認可判定機構の実装と評価
• タイトル / 言語: en
• タイトル: Implementation and Evaluation of Logic-Based Authorization System for SELinux
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: MANDATORY ACCESS CONTROL，POLICY DESCRIPTION，LOGIC PROGRAMMING，SELINUX
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 情報セキュリティ大学院大学情報セキュリティ研究科
• 著者所属: 情報セキュリティ大学院大学情報セキュリティ研究科
• 著者所属: 株式会社情報技研
• 著者所属: 株式会社情報技研
• 著者所属: 情報セキュリティ大学院大学情報セキュリティ研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Security, Institute of Information Security
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Security, Institute of Information Security
• 著者所属(英): en
• 著者所属(英): Institute of Information Technology, Inc.
• 著者所属(英): en
• 著者所属(英): Institute of Information Technology, Inc.
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Security, Institute of Information Security
• 著者名: 橋本, 正樹; 滝澤, 峰利; 高山, 扶美彦; 辻, 秀典; 田中, 英彦
• 著者名(英): Masaki, Hashimoto; Minetoshi, Takizawa; Fumihiko, Takayama; Hidenori, Tsuji; Hidehiko, Tanaka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: SELinuxはシステム侵害後の被害拡大を防止できる点で有用であるが，ポリシ記述の簡単化はもとより，ポリシの可読性や保守性，拡張性の向上が課題となっている．本研究は，論理型言語によるポリシ記述・処理系を実装することでそれら課題を解決し，記述範囲の拡張や強制アクセス制御機構の相互運用性向上をはかるものである．本稿では，SELinuxの認可判定機構をDatalogで置き換えた上で各種評価を行い，論理型言語によるポリシ処理系が現実的な性能で動作することを実証する．また，強制アクセス制御機構の構成変更に伴う改ざん耐性と迂回困難性の変化を検証し，提案機構の有用性と安全性に対する考察を行った結果を報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: SELinux is an effective MAC system for preventing the damage from spreading after security breaches, and there are many challenges around its policy processing issues such as readability, maintainable and scalability. Our research aims to improve its expressive power of policy description language and interoperability of authorization system, implementing them by logic programming language. In this paper, we replace the authorization system of SELinux with our logic-based authorization system of Datalog, and demonstrate the feasibility based on various performance evaluations. We also report the results of validating the impact of architectural changes and discussion about safety and usefulness of our system.
• 書誌情報: コンピュータセキュリティシンポジウム2014論文集; 巻 2014, 号 2, p. 743-750, 発行日 2014-10-15
• 出版者 / 言語: ja
• 出版者: 情報処理学会