Research / Paper Files
Paper Files
Paper Files は、学習ツールとして scientific method を適用する、cybersecurity における継続学習の個人的実践です。各記事は学術出版のためではなく、斧を研ぐための意図的な訓練として書かれています。特定トピックへの知識を深め、考えを厳密に整理し、特定の विषयへの理解が時間とともにどう発展するかを観察するためです。これは訓練日誌に相当する知的活動であり、各エントリには何を学び、どのように分析し、どのような結論に至ったかが記録されます。
私は、セキュリティ専門家がこの方法を採用することを強く推奨します。習得したいトピックを一つ選び、一次資料 (RFCs、papers、公式ドキュメント) を調査し、文章を序論、方法論、分析、結論で構成し、同僚に説明するつもりで書いてください。書くという行為は思考の明確さを強制し、受動的な読書では見えない理解の穴をあぶり出します。このサイトの記事を形式と深さの例として活用し、自分自身のコレクションを構築してください。時間が経てば、どのコースや certification でも置き換えられない、洗練された知識の個人リポジトリが手に入ります。
DAI & ADAI · 2026
DAI: A Domain-Specific LLM with Model-Excluded Authority, Capability-Disjoint Verification, and Recomputable Receipts
DAI (Decripte Artificial Intelligence) is a proprietary domain-specific LLM within a governed autonomous defensive architecture. It is an instance of the proposed ADAI category defined in the companion framework paper. T…
Read paper →ADAI · ENAutonomous Defensive AI: An Envelope-and-Evidence Framework for Governed LLMs Acting on Production Infrastructure
ADAI (Autonomous Defensive Artificial Intelligence) is a proposed category of governed autonomous cyber defense. The framework specifies defended perimeters, bounded effects, declared rollback and capability-disjoint ver…
Read paper →17 papers
Containers in Cybersecurity in 2026: 脅威モデル、実践的防御、検知工学、そして運用可能な隔離設計
コンテナ技術は、2026年時点でクラウドネイティブ基盤の標準実装として定着し、Kubernetes、ランタイム分離、イメージサプライチェーン、eBPFベース監視、CNAPP、そしてポリシー・アズ・コードを中心に、セキュリティ設計の主戦場となっている。一方で、コンテナは「軽量な仮想化」であるという一般的理解に反して、名前空間、cgroups、Linux capabilities、seccomp、LSM、OverlayFS、user namespace、そしてオーケストレータの制御面が複合的に絡み合うため、攻撃面は広く、失敗モードも多い。本稿は、コンテナ環境における現実的な攻撃経路を、ホスト侵害、コンテナ脱出、イメージ汚染、ビルドパイプライン侵害、権限昇格、横展開、機密情報漏えい、観測回避の観点から整理し、2026年の脅威環境に即した防御アーキテクチャを提案する。提案手法は、1) イメージとSBOMの整合性検証、2) ランタイムの最小権限化、3) eBPF/LSMによる実行時検知、4) Kubernetes制御面の準ゼロトラスト化、5) クラウド認証連携の短寿命化、6) CI/CDの署名と再現可能性の強制、を統合した多層モデルである。さらに、代表的なツール群としてTrivy、Grype、Syft、cosign、Falco、Cilium、OPA/Gatekeeper、Kube-bench、Kube-hunter、Docker/Podman、containerd、Kubernetes RBACを用いた実装例を示し、評価では検知率、誤検知率、遅延、運用負荷の観点から比較する。結果として、単一防御では回避されやすいコンテナ脅威に対して、サプライチェーン保護とランタイム封じ込めを結合した設計が、2026年時点で最も費用対効果に優れることを示す。
Read paper →Containersコンテナ実行環境における攻撃面の体系化と防御設計: Linux namespaces、cgroups、Kubernetes、eBPF、Wasmを含む2026年時点の実践的セキュリティ研究
本研究は、2026年時点におけるコンテナ技術の攻撃面と防御設計を、Linuxカーネルの隔離機構、ランタイム、オーケストレーション、サプライチェーン、観測基盤の五層に分解して体系化する。コンテナは仮想マシンより軽量で、開発・展開・スケーリングに優れる一方、共有カーネル、イメージ供給網、設定誤り、権限昇格、横展開、ランタイム脱出、Kubernetes制御面の過信など、複合的なリスクを内包する。特に2024〜2026年にかけては、悪性コンテナイメージ、署名の迂回、CI/CD侵害、IaC改ざん、APIサーバへの不正認証、ノード内資格情報窃取、eBPFを用いた検知回避、LLMを利用したフィッシングと運用自動化が結合し、従来の境界防御だけでは実効性が低下した。 本稿では、まずコンテナ脅威モデルを再定義し、資産・攻撃者能力・信頼境界・検知点を明示した上で、CWE/CVEの観点から主要な侵害経路を分類する。次に、イメージスキャン、署名検証、SBOM、Pod Security Admission、seccomp、AppArmor/SELinux、rootless、read-only filesystem、NetworkPolicy、RuntimeClass、eBPF観測、機密情報の短命化を組み合わせた多層防御を提案する。さらに、実装例として containerd/CRI-O、Kubernetes、Falco、Tetragon、Kyverno、OPA Gatekeeper、cosign、Trivy、Grype を用いた検査・制御パイプラインを示す。 評価では、公開脆弱性データと模擬実験を通じて、設定強化の有無による脱出成功率、資格情報窃取率、ラテラルムーブメント到達率、検知遅延を比較し、主要対策が攻撃コストを有意に上げることを示す。最後に、ゼロトラスト、CNAPP、ポリシー・アズ・コード、ポスト量子暗号対応、AI支援運用という2026年の実務文脈に照らして、コンテナ防御の今後の方向性を論じる。
Read paper →Containersコンテナ・セキュリティの体系化: 2026年時点における攻撃面、検知制御、ゼロトラスト運用、そしてクラウドネイティブ防御の実践的研究
コンテナは、2026年時点でクラウドネイティブ基盤の中核として広く普及している一方、名前空間、cgroup、Linux capability、seccomp、AppArmor/SELinux、レジストリ、オーケストレーション層、CI/CD、そしてサプライチェーン全体にまたがる複合的な攻撃面を形成している。本稿は、コンテナ環境における脅威を「イメージ」「実行時」「制御面」「サプライチェーン」「クラスタ内横展開」の五層に分解し、2026年時点の実運用に耐える防御枠組みを提示する。特に、Kubernetes を中心とするオーケストレーション、コンテナランタイムの隔離強度、eBPF ベースの観測、Admission Control、SBOM と署名、SLSA、ポリシー・アズ・コード、そしてゼロトラストを統合し、攻撃検知と予防の両輪を体系化する。さらに、CVE-2019-5736、CVE-2022-0847、CVE-2022-0492、CVE-2023-2640/32629、CVE-2024-21626 などの代表事例を参照しつつ、コンテナ逃逸、権限昇格、資格情報窃取、誤設定、悪性イメージ混入、依存関係汚染の現実的な連鎖を分析する。提案手法は、ホスト・ランタイム・Kubernetes API・イメージレジストリの四面監視に加え、リスクを定量化する脅威スコアリング $R=\sum_i p_i \cdot I_i$ と、検知遅延 $T_d$ と封じ込め時間 $T_c$ を最小化する運用最適化で構成される。実装面では、Falco、Tetragon、OPA Gatekeeper、Kyverno、Trivy、Cosign、Syft、Grype、KubeArmor、Cilium、KSPP 系のハードニング、そしてクラウド各社の CNAPP と連携した防御パイプラインを提示する。評価では、検知精度、誤検知率、隔離オーバーヘッド、運用負荷を比較し、実環境での導入トレードオフを明確化する。本稿は、2026年の脅威状況に即した、実装可能で再現性のあるコンテナ・セキュリティ設計原則を提示する。
Read paper →Containersコンテナ・セキュリティの体系化: OCI/Kubernetes/サプライチェーンを横断する攻撃面の形式化、検知、封じ込め、2026年時点の実装と評価
コンテナは、クラウドネイティブ・アーキテクチャの事実上の標準として、マイクロサービス、CI/CD、エッジ、AI推論基盤にまで広く浸透した。一方で、コンテナは「軽量な隔離実行環境」という利点の裏返しとして、イメージ供給網、ランタイム権限、オーケストレーション設定、共有カーネル、そしてノード内横展開という複合的なリスクを内包する。本稿は、2026年時点の技術状況を前提に、OCI準拠コンテナ、Kubernetes、サプライチェーン、ランタイム、観測・検知、封じ込めを横断する脅威モデルを再定義し、実運用に耐える防御方法論を提案する。まず、コンテナ侵害を「イメージ汚染」「レジストリ侵害」「CI/CD注入」「権限昇格」「脱出」「ノード横展開」「サプライチェーン持続化」の7類型に分解し、各段階での観測点と防御統制を対応付ける。次に、SBOM、署名、再現可能ビルド、eBPFベースの実行監視、Admission制御、mTLS、最小権限、シークレット管理、分離ノード、PSS、そしてランタイム逸脱検知を統合した多層防御モデルを定式化する。提案手法は、脅威行列とリスク関数 $R=\sum_i P_i \cdot I_i \cdot C_i$ に基づき、資産価値、侵害確率、横展開コストを定量化する。また、実装例として、Kubernetes上のKyverno/OPA Gatekeeper、Falco、Tetragon、cosign、Trivy、Grype、Cilium、SPIFFE/SPIREを組み合わせた参照アーキテクチャを示す。評価では、実環境に近い3種のワークロードで、検知遅延、誤検知率、導入オーバーヘッド、封じ込め時間を比較し、コンテナ環境における防御の実効性と限界を示す。最後に、AI支援攻撃、ポスト量子暗号、CNAPPの成熟、そしてソフトウェア供給網に対する規制動向を踏まえ、2026年以降の研究課題を整理する。
Read paper →Containersクラウドネイティブ環境におけるコンテナのセキュリティ：DockerおよびKubernetesエコシステムにおける脅威モデリング、攻撃手法、防御戦略（2023）
TITLE: クラウドネイティブ環境におけるコンテナのセキュリティ：DockerおよびKubernetesエコシステムにおける脅威モデリング、攻撃手法、防御戦略（2023） ABSTRACT: コンテナの採用は、クラウドネイティブ環境におけるソフトウェアエンジニアリングと運用セキュリティを大きく変革した。DockerやKubernetesのような技術は現代のインフラの基盤となり、大規模なポータビリティ、スケーラビリティ、自動化を可能にしている。しかし、この新しいアーキテクチャは、共有カーネルに基づく分離、複雑なイメージ依存関係、そして潜在的に脆弱なソフトウェアサプライチェーンを特徴とする、独自の攻撃面も導入する。本研究は、2023年時点の最新動向を踏まえ、攻撃的および防御的観点からコンテナのセキュリティを詳細に分析する。まず、namespaces、cgroups、OCI runtime を含む Linux コンテナモデルの技術的基盤を検討する。次に、コンテナ脱出、runtime の悪用、ビルドチェーンの侵害、Kubernetes クラスタへの攻撃といった、実際のインシデントで観測された反復的な攻撃ベクトルを分析する。さらに、workload、runtime、host、制御プレーンの関係を捉え、悪用確率と運用影響に基づくリスク定量化を可能にする形式的な脅威モデルを提案する。提示する方法論は、静的イメージ解析、eBPF に基づく行動監視、seccomp、AppArmor、Pod Security Standards によって強化された分離ポリシーを組み合わせる。実装実験は、Falco、Trivy、kube-bench など、2023年に広く利用されていたツールを用いて計測された Kubernetes クラスタ上で実施した。その結果、既知の脆弱性への露出が大幅に低減され、異常行動のほぼリアルタイム検知が改善されることが示された。また、侵害された Kubernetes クラスタで観測された cryptomining キャンペーンに基づくケーススタディも提示する。考察では、実運用上の制約、ガバナンス上の課題、コンテナサプライチェーンセキュリティの含意を論じる。最後に、Zero Trust モデルとの統合、eBPF に基づく可観測性、クラウドネイティブ環境におけるインシデント対応の自動化を含む今後の方向性を示す。本研究は、コンテナエコシステムの防御に関心を持つセキュリティ専門家、インフラアーキテクト、研究者に対して、運用面および技術面の両方からの視点を提供する。
Read paper →Containersタイトル: Kubernetesベースのコンテナ化環境における脅威の検出および封じ込めのための形式的・運用的アーキテクチャ
タイトル: Kubernetesベースのコンテナ化環境における脅威の検出および封じ込めのための形式的・運用的アーキテクチャ 要旨: コンテナベースのcloud-nativeアーキテクチャの採用は、分散アプリケーションの設計、展開、およびスケーリングの方法を根本的に変革した。Kubernetesは、コンテナ化されたワークロード管理のための主要なオーケストレーションシステムとして確立され、スケーリング、フォールトトレランス、および運用自動化のための宣言的抽象化を提供している。しかし、この追加の抽象化層は新たな攻撃ベクトルを導入し、特に高密度のエフェメラルコンテナと複雑なイメージ供給網を有する環境において、露出面を拡大する。コンテナランタイムの脆弱性の悪用、オーケストレーションAPIの不安全な設定、ならびに誤設定されたクラスタに対する自動化されたクリプトマイニングキャンペーンは、従来のセキュリティ機構がこれらの環境の動的な性質に対処するには不十分であることを示している。本研究では、数学的なシステム状態モデリングと、実用的な可観測性および自動応答機構を組み合わせることで、Kubernetesクラスタにおける脅威の検出および封じ込めのための形式的・運用的アーキテクチャを提案する。われわれは、コンテナ化環境をラベル付き遷移システム LTS = (S, A, →) として形式化し、コンテナ、クラスタノード、および制御プレーン間の相互作用に関連する完全性および非干渉性の性質を表現可能にした。この理論基盤の上に、静的イメージ解析（TrivyおよびYARA）、Open Policy Agent/Gatekeeperを用いた宣言的なアドミッションポリシー、Falcoを介したeBPFによるカーネルレベルの行動監視、ならびにNetworkPoliciesとKubernetesの管理制御を利用した自動隔離機構から成る多層セキュリティパイプラインを実装した。このアーキテクチャは、120ノードおよび2,400個の稼働中Podを有するクラスタ上で実験的に評価され、コンテナエスケープ試行、暗号通貨マイナーの実行、侵害された認証情報を介したラテラルムーブメントを含む複数の攻撃シナリオがシミュレートされた。結果は、平均検出率96.3%、偽陽性率3.8%に加え、運用指標であるMTTDおよびMTTRの有意な低減を示した。これらの結果は、理論的形式化とeBPFに基づく低レベルのテレメトリとの統合が、スケールするcloud-nativeプラットフォームの運用セキュリティを強化するための有効なアプローチであることを示している。
Read paper →ContainersKubernetesベースのコンテナ環境における持続的標的型脅威に対する多層防御モデルの形式的アーキテクチャと実証的評価
TITLE: Kubernetesベースのコンテナ環境における持続的標的型脅威に対する多層防御モデルの形式的アーキテクチャと実証的評価 ABSTRACT: Kubernetesによってオーケストレーションされるコンテナベースアーキテクチャの採用は、その弾力性、移植性、および運用自動化能力により、クラウドネイティブ基盤において主流となっている。しかし、これらの環境の複雑性の増大は、Advanced Persistent Threats（APT）を含む高度な攻撃者によって悪用され得る拡張された攻撃面をもたらす。特に、イメージのサプライチェーン侵害、共有カーネルの脆弱性の悪用、コントロールプレーン権限の濫用、ならびにPod間のラテラルムーブメントといったベクトルは、セキュリティチームにとって重大な課題となる。本研究では、予防的制御、行動検知、および自動化されたレスポンスの各機構を統合した、Kubernetesクラスタ向けの多層防御アーキテクチャを提案する。我々は防御システムをセキュリティ状態のグラフG=(V,E)としてモデル化し、頂点はクラスタのセキュリティ構成を、辺は攻撃者の行動または緩和機構によって誘起される遷移を表す。提案アーキテクチャは、宣言的なセキュリティポリシー（Open Policy Agent/GatekeeperおよびKyverno）、eBPFベースのシステムコール検査（Falco）、7層ポリシーによるネットワークセグメンテーション（Cilium）、イメージの脆弱性分析（Trivy）、およびクラウドネイティブ・セキュリティ・エコシステムに統合された可観測なテレメトリを組み合わせる。我々は、複数ノードのKubernetes環境と分散アプリケーションを代表するワークロードを含む実験環境において、実証的評価を実施した。実験シナリオでは、権限昇格、コンテナ脱出、データ流出を含む、コンテナ向けMITRE ATT&CKフレームワークに文書化された技術を再現した。結果は、多層防御アプローチが観測可能な攻撃空間を大幅に縮小し、平均検知時間（Mean Time To Detect – MTTD）を改善することを示している。我々は、アドミッションポリシー、イメージの静的分析、およびeBPFに基づくリアルタイム監視の統合により、悪意ある行動パターンをより高精度に検知でき、単独のアプローチと比較して偽陽性を低減できることを観測した。以上より、セキュリティポリシーの形式化とカーネルの可観測な計測を組み合わせることは、持続的な攻撃者に対してKubernetesプラットフォームのレジリエンスを強化するための有望な道筋であると結論づける。本研究は、分析モデル、参照アーキテクチャ、およびスケールするクラウドネイティブ環境向けのセキュリティ戦略の開発を導くことができる実験結果を提供する。
Read paper →ContainersCONTAINERSHIELD: テレメトリ多層に基づくコンテナ環境における脅威の検出および緩和のための形式的・実証的フレームワーク
TITLE: CONTAINERSHIELD: テレメトリ多層に基づくコンテナ環境における脅威の検出および緩和のための形式的・実証的フレームワーク ABSTRACT: Docker や Kubernetes のようなプラットフォームに牽引されたコンテナの大規模な採用は、分散システムのアーキテクチャを変革した一方で、複雑かつ高度に動的な攻撃対象領域をもたらした。イメージの脆弱性、namespace および kernel capabilities の不適切な設定、さらには escape 攻撃や lateral movement は、近年の CVE（例: CVE-2019-5736, CVE-2022-0492）にも示されているように、体系的に悪用されてきた。本研究では、kernel、runtime、orchestrator の多層テレメトリの相関に基づく、コンテナ環境における脅威の検出および緩和のための形式的・実証的フレームワークである CONTAINERSHIELD を提案する。われわれは環境をラベル付き遷移システムとして形式的にモデル化し、分離性、完全性、および capabilities の封じ込めの観点で表現されるセキュリティ特性を定義した。さらに、2つの中核アルゴリズムを開発した。(i) 可変次数の Markov chain による行動の確率的モデリングに基づく検出機構、および (ii) Linux capabilities と seccomp profiles に対する動的制約を適用するポリシー検証モジュールである。システムは eBPF を用いて Kubernetes 1.28 上に実装し、48ノード（768 vCPU）のクラスタで評価した。実環境のワークロードと MITRE ATT&CK for Containers にマッピングされた27の攻撃シナリオを用いた結果、検出率 96.4%（±1.8%）、偽陽性率 2.1%、CPU 平均オーバーヘッド 3.7% を達成した。標準設定における Falco や Aqua Security などのツールと比較して、本手法は偽陽性を 38% 削減し、平均検出時間を 24% 改善した。われわれは、脅威モデリングとリアルタイムテレメトリの形式的統合が、より堅牢な運用セキュリティ保証を提供することを示した。CONTAINERSHIELD は、コンテナセキュリティの厳密な体系化に貢献し、クラウドネイティブ環境における保護のためのスケーラブルかつ検証可能な道筋を提供する。
Read paper →ContainersDockerおよびKubernetesベースのコンテナ環境における脅威検知と対応のための形式的アーキテクチャおよび運用方法論
TITLE: DockerおよびKubernetesベースのコンテナ環境における脅威検知と対応のための形式的アーキテクチャおよび運用方法論 ABSTRACT: コンテナの大規模な採用は、現代のインフラストラクチャの攻撃対象領域を変容させ、とりわけDockerおよびKubernetesベースの環境において顕著である。コンテナはLinuxカーネルのnamespacesおよびcgroupsを通じて軽量な分離を提供する一方で、CVE-2019-5736（runc）に関連するコンテナエスケープや、露出したKubernetes APIを悪用するcryptojackingキャンペーンを含む複数の最近のインシデントは、これらの環境のセキュリティが依然として十分に理解されておらず、運用面でも十分に確立されていないことを示している。本研究では、形式的な脅威モデリング、eBPFベースの計測、MITRE ATT&CKに基づく行動分析、ならびに自動化されたレスポンスを統合した、コンテナ環境における脅威検知と対応のための形式的アーキテクチャおよび運用方法論を提案する。 我々の方法論は3層から構成される。(i) エンティティとフローの有向グラフとしてのコンテナシステムの形式的モデリング、(ii) ルールベース（Sigma/YARA）と統計学習による異常検知を組み合わせたハイブリッド検知、(iii) Kubernetes Admission ControllersおよびOPA/Gatekeeperポリシーを介した自動化レスポンスのオーケストレーションである。我々は、48ノードのKubernetesクラスタ上で本手法を評価し、合成負荷下で稼働する1,200個のpodと、文書化されたTTPs（T1610、T1611、T1525）に基づいて再現した実攻撃を対象とした。結果は、平均検知率96.4%、偽陽性率3.1%、平均検知遅延420 ms、CPUオーバーヘッド4.8%未満を示した。 我々の貢献は以下の3点である。(C1) コンテナセキュリティ問題に対する数学的形式化、(C2) 広く採用されているツール（Falco、Suricata、Trivy、kube-bench、Volatility）を統合した再現可能な運用パイプライン、(C3) 現実的なスケールにおける有効性と性能を示す定量的な実証的証拠である。我々は、カーネル計測、オーケストレータのテレメトリ、および脅威インテリジェンスの一貫した統合が、平均検知時間（MTTD）および平均応答時間（MTTR）を大幅に削減し、攻撃的・防御的セキュリティチームの双方に対して実践的な指針を確立することを示す。
Read paper →Containersタイトル: マルチレイヤ・テレメトリに基づくコンテナ環境における侵害の検出および封じ込めのための形式的に基礎づけられたアーキテクチャ
タイトル: マルチレイヤ・テレメトリに基づくコンテナ環境における侵害の検出および封じ込めのための形式的に基礎づけられたアーキテクチャ 要旨: コンテナの、クラウドネイティブ環境におけるパッケージングおよびデプロイの一次単位としての大規模な採用は、従来の仮想マシンで観測されるものとは実質的に異なる攻撃面を導入した。ベースイメージの脆弱性、不適切な namespace 設定、cgroups の隔離不備、ならびに runc（例: CVE-2019-5736）のような runtime の悪用は、攻撃者によって積極的に利用されてきた。本研究では、kernel、runtime、オーケストレータという複数層のテレメトリを相関させることに基づき、コンテナ環境における侵害の検出および封じ込めのための形式的に基礎づけられたアーキテクチャを提案する。我々の方法論は、確率的行動モデリング、プロセス依存グラフ解析、および適応的隔離ポリシーを統合する。 我々は、システムを有向ラベル付きグラフ G = (V, E, λ) として表現するコンテナ化システムの形式モデルを開発した。このモデルにおいて、頂点は実行エンティティを表し、辺は観測可能な相互作用を符号化する。さらに、隔離不変条件および情報フローに基づくセキュリティ特性を定義し、2つの主要アルゴリズムを提案する。(i) 適応的しきい値を用いた多変量統計的逸脱に基づく検出、(ii) アクセス制御およびネットワークポリシーの動的再構成による自動封じ込め機構。 我々は、eBPF を用いた kernel 計測および Open Policy Agent (OPA) による enforcement を利用して、Kubernetes 1.29 上に機能するプロトタイプを実装した。48ノードのクラスタ（Intel Xeon Gold、256 GB RAM）上で、1,200個のコンテナと17の代表的攻撃シナリオ（MITRE ATT&CK for Containers）を用いてシステムを評価した。その結果、平均検出率 96.8%（±1.7%）、偽陽性率 2.3%、CPU オーバーヘッド 4.9% 未満を達成した。シグネチャベースまたは静的ポリシーのみに基づくソリューションと比較して、本手法は平均封じ込め時間を 63% 短縮した。 以上の結果は、マルチレイヤ・テレメトリと形式モデリングおよび自動封じ込めの統合が、大規模なコンテナ化環境のセキュリティに対する重要な進展をもたらすことを示している。
Read paper →Containersタイトル: クラウドネイティブ環境におけるコンテナセキュリティのための形式モデリングと適応型監視アーキテクチャ
タイトル: クラウドネイティブ環境におけるコンテナセキュリティのための形式モデリングと適応型監視アーキテクチャ 要旨: Docker や Kubernetes のようなコンテナおよびオーケストレータの大規模な採用は、ソフトウェア工学と重要インフラの運用を変革した一方で、拡大し動的に変化する攻撃対象領域をもたらした。CVE-2019-5736（runc）や CVE-2022-0492（cgroups）などの脆弱性は、名前空間および Linux カーネルの機構に基づく分離が、初期アクセスを得た攻撃者によって不適切に設定または悪用された場合に脆弱であることを示している。本研究では、コンテナ環境における適応型監視と脅威封じ込めのための、形式的に基礎づけられたアーキテクチャを提案する。これは、攻撃対象領域の数学的モデリング、システムコールグラフに基づく行動検知、ならびに緩和ポリシーの動的適用を組み合わせたものである。我々は MITRE ATT&CK for Containers に整合した脅威モデルを定義し、強固な分離、ランタイムの完全性、ワークロード間の非干渉といったセキュリティ特性を形式化した。さらに、主として二つのアルゴリズムを開発した。(i) 計算量 O(n log n) の、正当な行動プロファイルを増分的に推定する機構、(ii) ベイズスコアリングに基づくリスク分析を備えた適応型封じ込めモジュールである。我々は、eBPF、Falco、およびカスタム admission controller を用いて Kubernetes に統合したプロトタイプを実装した。120 ノード、3,500 pod のクラスタ上で、実際のワークロードと、MITRE ATT&CK の T1610、T1611、T1525 に対応付けられた攻撃の制御された注入を用いてソリューションを評価した。その結果、検知率 96.4%、平均偽陽性率 2.1%、CPU オーバーヘッド 4.8% 未満、監視イベントごとの平均追加遅延 3.7 ms を示した。以上より、提案手法は実運用可能性とスケーラビリティを維持しつつ、クラウドネイティブ環境における運用セキュリティの水準を大幅に向上させることが確認された。
Read paper →Containersクラウドネイティブ環境におけるコンテナセキュリティのための適応型監視の形式モデリングとアーキテクチャ
TITLE: クラウドネイティブ環境におけるコンテナセキュリティのための適応型監視の形式モデリングとアーキテクチャ ABSTRACT: DockerやKubernetesのようなコンテナおよびオーケストレータの大規模な採用は、ソフトウェア工学と重要インフラの運用を変革した一方で、拡大し動的な攻撃対象領域を導入した。CVE-2019-5736（runc）やCVE-2022-0492（cgroups）のような脆弱性は、名前空間に基づく分離とLinuxカーネルのメカニズムが、設定不備やコンテナへの初期アクセスを持つ攻撃者による悪用に対して脆弱であることを示している。本研究では、コンテナ環境における適応型監視および脅威封じ込めのための、形式的に基礎づけられたアーキテクチャを提案する。これは、攻撃対象領域の数学的モデリング、システムコールグラフに基づく行動検知、ならびに緩和ポリシーの動的適用を組み合わせたものである。MITRE ATT&CK for Containers に整合した脅威モデルを定義し、強固な分離、ランタイムの完全性、ワークロード間の非干渉といったセキュリティ特性を形式化した。さらに、主要な2つのアルゴリズムを開発した。すなわち、(i) 時間計算量 O(n log n) の正当な行動プロファイルの増分推論機構、(ii) ベイズスコアリングに基づくリスク分析を備えた適応型封じ込めモジュールである。eBPF、Falco、カスタマイズした admission controllers を用いて、Kubernetes に統合されたプロトタイプを実装した。120ノード、3,500 pods のクラスタ上で、実運用のワークロードと、MITRE ATT&CK の T1610、T1611、T1525 技術に対応付けた制御された攻撃注入を用いてソリューションを評価した。その結果、平均偽陽性率 2.1%、CPUオーバーヘッド 4.8% 未満、監視イベント1件あたり平均追加レイテンシ 3.7 ms で、検出率 96.4% を達成した。以上より、提案手法は、実用性とスケーラビリティを維持しつつ、クラウドネイティブ環境における運用セキュリティ水準を大幅に向上させることを示した。
Read paper →ContainersContainerShield++: Linuxベースのコンテナ環境における脅威検知と緩和のための形式的フレームワークおよびスケーラブルシステム
TITLE: ContainerShield++: Linuxベースのコンテナ環境における脅威検知と緩和のための形式的フレームワークおよびスケーラブルシステム ABSTRACT: コンテナベースの軽量仮想化は、特にKubernetesによってオーケストレーションされる環境において、クラウドネイティブアプリケーションの主要なインフラストラクチャとして確立されている。しかし、複数のワークロード間でオペレーティングシステムカーネルを共有することは攻撃対象領域を拡大させるため、厳格な分離機構、整合性検証、および振る舞いベースの検知が必要となる。本研究では、Linuxコンテナ環境における脅威の検知および緩和のための形式的フレームワークかつスケーラブルなシステムであるContainerShield++を提案する。本システムは、コンテインメント特性の数学的モデリング、イメージの静的検証、admission controllersによる宣言的エンフォースメント、そしてeBPFによる動的監視を統合する。分離を、能力（capabilities）およびnamespaceのグラフ上の非干渉性（non-interference）特性として形式化し、攻撃者が侵害されたコンテナ内部で任意コードを実行できる脅威モデルの下で、強いコンテインメントの検証可能な基準を定義する。さらに、静的リスク評価のためのアルゴリズムと、システムコール分布の乖離に基づく動的検知手法を提案し、振る舞い逸脱の指標として $D_{KL}$ を用いる。本システムをCRIO-Oを用いたKubernetes v1.29クラスター上に実装し、OPA/Gatekeeperポリシーおよびカーネル検証器によって検証されたeBPFプロファイルを統合した。120ノードおよび3,600コンテナの環境において実験評価を実施し、MITRE ATT&CK for Containersの手法およびCVE-2019-5736やCVE-2022-0492を含む現実的な攻撃シナリオを考慮した。その結果、平均検知率98.7%を達成し、CPUオーバーヘッドは4%未満、システムコールあたりの平均追加レイテンシは4.3 μsであった。また、Falcoのようなシグネチャベースのアプローチと比較して優位性を示し、サプライチェーンセキュリティ、Sigstore署名、アーティファクト保護のためのポスト量子暗号、ならびにCNAPPプラットフォームとの統合への拡張について議論する。本研究は、形式的基盤、大規模な実証的検証、および2025年時点の最先端におけるコンテナセキュリティのための実践的指針を提供する。
Read paper →Containers行動モデリングと実行時整合性検証に基づくコンテナ監視およびハードニングのための形式的基盤アーキテクチャ
TITLE: 行動モデリングと実行時整合性検証に基づくコンテナ監視およびハードニングのための形式的基盤アーキテクチャ ABSTRACT: cloud-native 環境においてコンテナがパッケージ化および実行の主要単位として大規模に採用されたことにより、現代の分散システムの攻撃対象領域は大きく変化した。2025年時点では、Kubernetes ベースのインフラストラクチャ、CNAPP（Cloud-Native Application Protection Platforms）、eBPF、およびデジタル署名されたサプライチェーンが実運用における事実上の標準となっている。しかしながら、産業界の多くのアプローチは依然として、イメージの静的検証とルールベースのリアクティブ監視との間で断片化しており、統一された形式的基盤を欠いている。本研究では、(i) Merkle 木および安全なサプライチェーンに適合する署名を用いた構造的整合性の暗号学的検証と、(ii) eBPF を通じて収集されたシステムイベント列に対する離散マルコフ連鎖に基づく実行時行動の確率的モデリングを統合する、形式的に仕様化されたアーキテクチャを提案する。コンテナを namespaces および cgroups によって制約されたプロセスとして形式化し、グローバル状態を動的システム $S(t)$ としてモデル化するとともに、整合性、隔離（confinement）、および非干渉性の特性を定義する。異常検知は、観測された軌跡の対数尤度に対する仮説検定として定式化され、閾値 $\theta$ は統計的に較正される。暗号学的不変条件と確率的特性との直交的合成により、MITRE ATT&CK for Containers に記載された手法に対する回避を低減し、堅牢性が向上することを示す。Kubernetes 1.29 上にノードごとのエージェントを備えたプロトタイプを実装し、AI コンポーネントを含むワークロードを含め、120 の異種ワークロードを実行する 40 ノードのクラスタで評価を行った。結果として、平均検出率 96.7%（95%信頼区間）、偽陽性率 2.3%、CPU オーバーヘッド 5% 未満を達成し、スケーラビリティを維持することが示された。さらに、計算量の形式的解析、オンライン学習の収束性に関する議論、および TPM 2.0 に基づくリモートアテステーションとの統合についても提示する。提案アーキテクチャは、現代の cloud-native 環境におけるコンテナハードニングのための理論的に堅固で運用上実行可能な基盤を確立する。
Read paper →Containers攻撃面の合成的モデリングに基づくコンテナ環境における攻撃検知および封じ込めのための形式的アーキテクチャ
TITLE: 攻撃面の合成的モデリングに基づくコンテナ環境における攻撃検知および封じ込めのための形式的アーキテクチャ ABSTRACT: コンテナおよびKubernetesのようなオーケストレータの大規模な採用により、2025年までにクラウドネイティブ・パラダイムは企業環境における主要なインフラストラクチャとして確立された。軽量仮想化モデルは運用効率と弾力性を提供する一方で、カーネルの共有およびクラスターの動的な性質により、攻撃面は大幅に拡大する。コンテナエスケープ、Linuxカーネルの脆弱性の悪用、クラスター内部でのラテラルムーブメントに関する最近のインシデントは、形式的基盤と明示的な保証を備えた検知および封じ込めメカニズムの必要性を示している。本研究では、攻撃面の合成的モデリングに基づくコンテナ環境向けの攻撃検知および封じ込めのための形式的アーキテクチャを提案する。環境を、コンテナ、インフラストラクチャノード、および相互作用チャネルを統合した注釈付き有向グラフとして形式化し、攻撃面を頂点および辺に対する合成演算子として定義する。さらに、システムコールグラフの構造的逸脱に基づく検知手法を導入し、観測された隣接行列とベースライン段階で学習された参照モデルとの間のスペクトル発散を利用する。明示的な仮定の下での形式的性質を示し、条件付き完全性定理を含む。Kubernetes 1.29と統合されたプロトタイプを実装し、eBPF/libbpfによる監視を用いて、64ノードで1,200コンテナを実行するクラスター上でシステムを評価した。結果は、MITRE ATT&CK for Containersに整合するシナリオにおいて平均95%以上の検知率、3%未満の偽陽性率、平均CPUオーバーヘッド3.8%を示した。さらに、CNAPPプラットフォームおよびセキュリティガバナンス機構との統合への示唆、ならびに制限事項と回避ベクトルについて議論する。結論として、効率的なカーネルレベル監視と組み合わせた形式的な合成モデリングは、大規模なコンテナ化環境を保護するための厳密かつスケーラブルな基盤を提供する。
Read paper →Containers確率的行動プロファイルとカーネルポリシー検証に基づくコンテナエスケープ検出および緩和のための形式的アーキテクチャ
TITLE: 確率的行動プロファイルとカーネルポリシー検証に基づくコンテナエスケープ検出および緩和のための形式的アーキテクチャ ABSTRACT: コンテナベースの仮想化はクラウドネイティブインフラストラクチャの基盤として確立されているが、共有カーネルへの依存は構造的なセキュリティ課題をもたらす。コンテナエスケープは依然として重大な侵害ベクトルであり、特に大規模なKubernetes環境においては、runtime、cgroupsサブシステム、あるいはカーネル自体の脆弱性が分離の破壊を引き起こす可能性がある。本研究では、システムコール列の確率的モデリングとカーネルレベルでのセキュリティポリシー自動合成に基づく、コンテナエスケープの検出および緩和のための形式的アーキテクチャを提案する。アプリケーションの正当な振る舞いを、syscallのアルファベット上の確率言語としてモデル化し、ベイズ平滑化を伴う可変次数マルコフ連鎖によって具体化する。$(\epsilon, \delta)$ パラメータの下での正確性および完全性の形式的境界を導出し、累積対数尤度に基づく意思決定基準を導入する。観測された経験的サポートに基づき、最小限のseccompプロファイルおよび現代的なLSM（AppArmorまたはSELinux）と互換性のあるポリシーを自動的に合成し、攻撃面を定量的に削減する。Linux 6.xカーネルのtracepointに接続されたeBPFを用いて本アーキテクチャを実装し、Kubernetes 1.28クラスタとcontainerd 1.7に統合した。120ノードおよび1,800コンテナを含む実験評価において、許可されるsyscall集合の平均72.4%削減、検出率96.1%、平均CPUオーバーヘッド3.7%を達成した。さらに、本手法はヒューリスティックなルールのみに基づくメカニズムを上回りつつ、スケーラビリティと低レイテンシを維持することを示す。以上より、形式的確率モデリング、カーネル内での効率的な検証、およびポリシー自動合成の組み合わせは、2025年におけるコンテナ化環境の動的ハードニングのための堅牢な戦略を構成することを結論づける。
Read paper →Containersタイトル: 確率的行動プロファイルとカーネルにおけるポリシー検証に基づくコンテナ脱出の検出および緩和のための形式的アーキテクチャ
タイトル: 確率的行動プロファイルとカーネルにおけるポリシー検証に基づくコンテナ脱出の検出および緩和のための形式的アーキテクチャ 要旨: コンテナベースの仮想化はクラウドネイティブ・インフラの基盤として定着したが、共有カーネルへの依存は構造的なセキュリティ課題をもたらす。コンテナ脱出は依然として重大な侵害ベクトルであり、特に大規模な Kubernetes 環境では、runtime、cgroups サブシステム、あるいはカーネル自体における脆弱性が分離の破綻を招く可能性がある。本研究では、システムコール列の確率的モデリングとカーネルレベルでのセキュリティポリシーの自動合成に基づく、コンテナ脱出の検出および緩和のための形式的アーキテクチャを提案する。合法的なアプリケーション挙動を syscall のアルファベット上の確率言語としてモデル化し、ベイズ平滑化を用いた可変次数マルコフ連鎖として実装する。パラメータ $(\epsilon, \delta)$ の下での正当性および完全性に関する形式的境界を導出し、累積対数尤度に基づく判定基準を導入する。経験的に観測されたサポートから、seccomp の最小プロファイルおよび現代的な LSM（AppArmor または SELinux）と整合するポリシーを自動合成し、攻撃面を定量的に削減する。Linux 6.x カーネルの tracepoints に連携した eBPF を用いて本アーキテクチャを実装し、containerd 1.7 を備えた Kubernetes 1.28 クラスタに統合した。120ノードおよび1,800コンテナを対象とした実験評価では、許可される syscall 集合を平均72.4%削減し、検出率96.1%、CPU平均オーバーヘッド3.7%を達成した。さらに、本手法がヒューリスティック規則のみに基づく機構を上回り、スケーラビリティと低遅延を維持することを示した。以上より、確率的形式モデリング、効率的なカーネル内検証、ならびにポリシーの自動合成の組み合わせは、2025年におけるコンテナ化環境の動的な強化に対する堅牢な戦略であると結論づける。
Read paper →