| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-07-09 14:40 LLMと形式手法を用いたSELinuxの安全な運用支援の研究構想 ○爲國紘成・宮下和也・砂原 悟・萩原茂樹（千歳科技大）  ISEC2025-65 SITE2025-55 BioX2025-79 HWS2025-54 ICSS2025-65 EMM2025-68 |
|
| 抄録 | （和） | 本稿では、大規模言語モデル(LLM)と形式手法を用いたSELinuxの安全な運用支援の研究構想を述べる。本研究では、ドメイン知識からLLMを用いて、アクセス制御を行うためのSELinuxポリシーを導出し、形式手法を用いてそのポリシーの安全性を検証する。 ドメイン知識からLLMを用いてSELinuxポリシーを導出するために、サーバ運用に関するドメイン知識をどう表現すべきかや、この知識から適切なSELinuxポリシーを導くために、LLMをどう調整すべきか、そして、LLMに入力する効果的なプロンプトの特定について研究する。さらに、出力されたポリシーの安全性を検証するために、ポリシーと安全性の形式化を行い、安全性が満たされなかった場合の修正方法を研究する。 |
| （英） | This paper outlines a research concept for supporting the secure operation of SELinux using Large Language Models (LLMs) and formal methods. In this research, we will derive SELinux policies for access control from domain knowledge using LLMs, and then verify the security of these policies using formal methods. To derive SELinux policies from domain knowledge using LLMs, we will investigate how domain knowledge related to server operation should be represented, how LLMs should be fine-tuned to derive appropriate SELinux policies from this knowledge, and identify effective prompts for input to LLMs. Furthermore, to verify the security of the output policies, we will formalize the policies and security properties, and study methods for correcting policies when security is not satisfied. | |
| キーワード | （和） | SELinux / セキュリティ / アクセス制御 / 大規模言語モデル(LLM) / 形式手法 / / / |
| （英） | SELinux / Security / Access Control / Large Language Models (LLMs) / Formal Methods / / / | |
| 文献情報 | 信学技報, vol. 125, no. 99, ISEC2025-65, pp. 326-331, 2025年7月. | |
| 資料番号 | ISEC2025-65 | |
| 発行日 | 2025-06-30 (ISEC, SITE, BioX, HWS, ICSS, EMM) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2025-65 SITE2025-55 BioX2025-79 HWS2025-54 ICSS2025-65 EMM2025-68 |
|
| 研究会情報 | |
| 研究会 | HWS BioX ISEC SITE ICSS EMM IPSJ-CSEC IPSJ-SPT |
| 開催期間 | 2025-07-07 - 2025-07-09 |
| 開催地（和） | 札幌コンベンションセンター |
| 開催地（英） | Sapporo Convention Center |
| テーマ（和） | セキュリティ、一般 （セキュリティサマーサミット2025） |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2025-07-HWS-BioX-ISEC-SITE-ICSS-EMM-CSEC-SPT |
| 本文の言語 | 日本語 |
| タイトル（和） | LLMと形式手法を用いたSELinuxの安全な運用支援の研究構想 |
| サブタイトル（和） | |
| タイトル（英） | A Research Plan for Supporting Secure SELinux Operation Using LLM and Formal Methods |
| サブタイトル（英） | |
| キーワード(1)（和/英） | SELinux / SELinux |
| キーワード(2)（和/英） | セキュリティ / Security |
| キーワード(3)（和/英） | アクセス制御 / Access Control |
| キーワード(4)（和/英） | 大規模言語モデル(LLM) / Large Language Models (LLMs) |
| キーワード(5)（和/英） | 形式手法 / Formal Methods |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 爲國 紘成 / Kosei Tamekuni / タメクニ コウセイ |
| 第1著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第2著者 氏名（和/英/ヨミ） | 宮下 和也 / Kazuya Miyashita / ミヤシタ カズヤ |
| 第2著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第3著者 氏名（和/英/ヨミ） | 砂原 悟 / Satoru Sunahara / スナハラ サトル |
| 第3著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 第4著者 氏名（和/英/ヨミ） | 萩原 茂樹 / Shigeki Hagihara / ハギハラ シゲキ |
| 第4著者 所属（和/英） | 公立千歳科学技術大学 (略称： 千歳科技大) Chitose Institute of Science and Technology (略称： CIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-07-09 14:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2025-65, SITE2025-55, BioX2025-79, HWS2025-54, ICSS2025-65, EMM2025-68 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.99(ISEC), no.100(SITE), no.101(BioX), no.102(HWS), no.103(ICSS), no.104(EMM) |
| ページ範囲 | pp.326-331 |
| ページ数 | 6 |
| 発行日 | 2025-06-30 (ISEC, SITE, BioX, HWS, ICSS, EMM) |
[研究会発表申込システムのトップページに戻る]