| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2026-03-03 16:40 最小特権を考慮したSELinuxポリシーの制約に基づく自動合成 ○宮下和也（千歳科技大）・砂原 悟（北大）・萩原茂樹（千歳科技大）  SITE2025-85 IA2025-84 |
|
| 抄録 | （和） | 本稿では、運用意図に基づく機能要件に対応する制約から、最小特権の原則を厳密に満たすSELinuxポリシーを自動合成する手法を提案する。提案手法では、SELinuxのアクセス制御モデルを形式化し、SMTソルバを用いて制約を満たしつつ許可ルールの総数を最小化する最適化問題を解くことで、過剰な権限を持たないポリシーを導出する。ファイル操作およびネットワーク待ち受け機能を持つデーモンプロセスを対象とした評価実験において、本手法と標準的なReference Policyのマクロ記述を比較した。その結果、マクロ記述で発生するログファイルの改ざん権限や不要な特権ポートへの紐付け権限を論理的に排除し、厳密な最小特権ポリシーを導出できることを示した。 |
| （英） | 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. | |
| キーワード | （和） | SELinux / セキュリティ / アクセス制御 / 制約 / 自動合成 / / / |
| （英） | SELinux / Security / Access Control / Constraints / Automated Synthesis / / / | |
| 文献情報 | 信学技報, vol. 125, no. 379, IA2025-84, pp. 52-59, 2026年3月. | |
| 資料番号 | IA2025-84 | |
| 発行日 | 2026-02-24 (SITE, IA) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SITE2025-85 IA2025-84 |
|
| 研究会情報 | |
| 研究会 | IA SITE IPSJ-IOT |
| 開催期間 | 2026-03-03 - 2026-03-05 |
| 開催地（和） | 沖縄産業支援センター |
| 開催地（英） | Okinawa Industry Support Center |
| テーマ（和） | インターネットと情報倫理教育、一般 |
| テーマ（英） | Internet and Information Ethics Education, etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | IA |
| 会議コード | 2026-03-IA-SITE-IOT |
| 本文の言語 | 日本語 |
| タイトル（和） | 最小特権を考慮したSELinuxポリシーの制約に基づく自動合成 |
| サブタイトル（和） | |
| タイトル（英） | Towards Constraint-Based Automated Synthesis of SELinux Policies |
| サブタイトル（英） | |
| キーワード(1)（和/英） | SELinux / SELinux |
| キーワード(2)（和/英） | セキュリティ / Security |
| キーワード(3)（和/英） | アクセス制御 / Access Control |
| キーワード(4)（和/英） | 制約 / Constraints |
| キーワード(5)（和/英） | 自動合成 / Automated Synthesis |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 宮下 和也 / Kazuya Miyashita / ミヤシタ カズヤ |
| 第1著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第2著者 氏名（和/英/ヨミ） | 砂原 悟 / Satoru Sunahara / スナハラ サトル |
| 第2著者 所属（和/英） | 北海道大学 (略称： 北大) Hokkaido University (略称： HU) |
| 第3著者 氏名（和/英/ヨミ） | 萩原 茂樹 / Shigeki Hagihara / ハギハラ シゲキ |
| 第3著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2026-03-03 16:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | IA |
| 資料番号 | SITE2025-85, IA2025-84 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.378(SITE), no.379(IA) |
| ページ範囲 | pp.52-59 |
| ページ数 | 8 |
| 発行日 | 2026-02-24 (SITE, IA) |
[研究会発表申込システムのトップページに戻る]