最小特権を考慮したSELinuxポリシーの制約に基づく自動合成

• Item type: SIG Technical Reports(1)
• 公開日: 2026-02-24
• タイトル / 言語: ja
• タイトル: 最小特権を考慮したSELinuxポリシーの制約に基づく自動合成
• タイトル / 言語: en
• タイトル: Towards Constraint-Based Automated Synthesis of SELinux Policies
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: IA
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 公立千歳科学技術大学理工学部
• 著者所属: 北海道大学情報基盤センター
• 著者所属: 公立千歳科学技術大学理工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Chitose Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): Information Initiative Center, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Faculty of Science and Technology, Chitose Institute of Science and Technology
• 著者名: 宮下,和也; 砂原,悟; 萩原,茂樹
• 著者名(英): Kazuya Miyashita; Satoru Sunahara; Shigeki Hagihara
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、運用意図に基づく機能要件に対応する制約から、最小特権の原則を厳密に満たすSELinuxポリシーを自動合成する手法を提案する。提案手法では、SELinuxのアクセス制御モデルを形式化し、SMTソルバを用いて制約を満たしつつ許可ルールの総数を最小化する最適化問題を解くことで、過剰な権限を持たないポリシーを導出する。ファイル操作およびネットワーク待ち受け機能を持つデーモンプロセスを対象とした評価実験において、本手法と標準的なReference Policyのマクロ記述を比較した。その結果、マクロ記述で発生するログファイルの改ざん権限や不要な特権ポートへの紐付け権限を論理的に排除し、厳密な最小特権ポリシーを導出できることを示した。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we describe an idea to automatically synthesize SELinux policies that strictly satisfy the principle of least privilege from constraints corresponding to functional requirements based on operational intent. The idea derives policies without excessive privileges by formalizing the SELinux access control model and solving an optimization problem using an SMT solver to minimize the total number of allow rules while satisfying constraints.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12326962
• 書誌情報: 研究報告インターネットと運用技術（IOT）; 巻 2026-IOT-72, 号 21, p. 1-8, 発行日 2026-02-24
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8787
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会