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 →14 papers
Secrets as the New Control Plane: A 2026 Security Science of Credentials, Keys, Tokens, and Ephemeral Trust Across Cloud-Native and AI-Driven Systems
本稿は、2026年時点のサイバーセキュリティにおける「Secrets」を、単なる認証情報ではなく、クラウド、ソフトウェアサプライチェーン、AI基盤、運用自動化、ゼロトラスト環境を横断する動的な信頼制御面として再定義する。Secrets には、APIキー、SSH鍵、OAuthトークン、TLS秘密鍵、サービスアカウント資格情報、Kubernetesマニフェスト内の埋め込み認証情報、CI/CDの短命トークン、生成AIの接続先資格情報、さらには復旧用のブレークグラス情報まで含まれる。本研究は、Secrets のライフサイクルを「生成・配布・利用・ローテーション・失効・監査」の6段階に分解し、攻撃面、保護境界、検出信号、運用負債を定量化する脅威モデルを提示する。さらに、OpenTelemetry、eBPF、CNAPP、Secrets manager、CI/CDポリシー、SBOM、IaCスキャン、IRの復旧手順を統合した多層防御アーキテクチャを提案する。提案手法は、静的検査とランタイム検知を組み合わせ、秘密情報の漏えい確率 $P(\mathrm{leak})$、発見までの時間 $TTD$、封じ込め時間 $TTC$ を最小化することを目的とする。評価では、Git履歴、コンテナイメージ、Kubernetes設定、ログ、メモリダンプ、CIジョブ出力を対象にした模擬環境で、検出率、誤検知率、運用コスト、ローテーション遅延を比較し、従来型のスキャンのみのアプローチに対する優位性を示す。ケーススタディでは、GitHubの情報漏えい、Cloud APIキーの誤設定、AIエージェントの外部ツール接続に伴う秘密流出という3種類の現実的事象を扱い、Secrets を「保護すべき値」から「統制すべき境界条件」へと捉え直す必要性を論じる。結論として、2026年のSecrets保護は、暗号技術単体では不十分であり、ID、端末、ワークロード、パイプライン、監査、ガバナンスを統合した継続的制御が不可欠である。
Read paper →SecretsSecrets in Cybersecurity in 2026: 生成AI時代における機密値のライフサイクル、侵害経路、検出、封じ込め、復旧のための体系的研究
本稿は、2026年時点のサイバーセキュリティにおける「Secrets」、すなわちAPIキー、トークン、証明書、SSH秘密鍵、データベース資格情報、クラウドの一時的認証情報、署名鍵、LLM関連のプロンプト・ベクターデータ保護資産までを含む広義の機密値を対象に、その生成、配布、保存、使用、監査、失効というライフサイクル全体を研究する。Secretsは従来から認証・認可の中核であったが、2020年代半ばにはクラウドネイティブ、CI/CD、DevOps、SaaS連携、サプライチェーン、AI/ML基盤の拡大により、漏えい経路が多層化し、単純な「保存時暗号化」や「秘密管理製品の導入」だけでは防御が不十分となった。本研究は、攻撃者の視点からはコードリポジトリ、ビルドログ、コンテナイメージ、IaCテンプレート、観測基盤、ブラウザセッション、LLMコネクタ、MCP/エージェント統合部などの侵害面を整理し、防御者の視点からはポリシー最小化、短命資格情報化、ハードウェア保護、eBPF/EDR連携、検知ルール、CIシークレットスキャン、機械可読ガバナンス、失効自動化を統合する実務的枠組みを提示する。さらに、$\mathrm{Risk}=\mathrm{Likelihood}\times \mathrm{Impact}$ に基づく定量化、秘密の可観測性低減、MTTD/MTTRの短縮、ハニートークンを用いた早期警戒の有効性を実験的に評価する。結果として、Secrets管理を単なる保管問題ではなく、認証設計、ソフトウェア供給網、テレメトリ、AIガバナンスを横断する運用問題として再定義する必要があることを示す。
Read paper →SecretsSecrets as an Attack Surface: 2026年時点における機密情報の漏えい、管理、検出、封じ込めの体系化研究
本稿は、2026年時点のサイバーセキュリティにおける「Secrets」、すなわちAPIキー、トークン、証明書、SSH鍵、クラウド認証情報、CI/CD用クレデンシャル、モデルAPIキー、署名鍵、内部サービス間認証素材などの機密情報を、独立した攻撃対象面として再定義し、漏えい・濫用・横展開・永続化の観点から体系的に分析する。Secretsは従来、単なる認証情報として扱われてきたが、実運用ではソフトウェア供給網、クラウド制御面、生成AIワークフロー、マシン間通信、ソースコード管理、ログ、メモリダンプ、端末、バックアップ、IaC、メタデータサービスを横断する、極めて高価値な資産である。本研究では、Secretsの露出経路をコード、実行時、観測系、サプライチェーン、人的経路の5層に分解し、脅威モデルを定式化したうえで、静的スキャン、履歴スキャン、リポジトリ到達性分析、eBPFベース実行時観測、クラウド監査ログ相関、LLM利用時のプロンプト注入耐性検証を統合した検出・封じ込め手法を提案する。さらに、Git履歴を含む公開・非公開レポジトリ、コンテナイメージ、CIログ、Terraform状態、Kubernetes Secret、AWS/GCP/Azureの設定実例を用いた評価を行い、従来の単一スキャナ中心の運用に比べ、再発見率、平均検出時間、誤検知率、封じ込め時間を大きく改善できることを示す。加えて、2026年に実運用で観測されるSecretゼロトラスト、短命資格情報、ポスト量子移行、AIガバナンス、CNAPP、eBPF、WAF/EDR/SIEM連携を踏まえ、Secretsを「保管物」ではなく「動的に露出しうる攻撃表面」として管理するための実装上の要件と、組織導入時の現実的なトレードオフを論じる。
Read paper →Secretsクラウドネイティブ環境におけるシークレット漏えいの管理と検知のための形式的・運用的アーキテクチャ: テレメトリ、静的解析、および Threat Hunting に基づく統合アプローチ
TITLE: クラウドネイティブ環境におけるシークレット漏えいの管理と検知のための形式的・運用的アーキテクチャ: テレメトリ、静的解析、および Threat Hunting に基づく統合アプローチ ABSTRACT: APIキー、認証情報、OAuthトークン、秘密証明書、暗号学的シークレットを含むシークレットの不正な露出は、クラウドネイティブおよび DevSecOps 環境における主要な侵害原因の一つである。AWSキー、GitHubトークン、ハードコードされた認証情報の漏えいに関する近年のインシデントは、シークレット管理の不備に起因する攻撃対象領域が、マイクロサービス、CI/CD、Infrastructure as Code の採用と比例して拡大していることを示している。本研究は、静的コード解析、ランタイム監視、トラフィック検査、MITRE ATT&CK との相関付け、およびエントロピーと時間的露出に基づく形式的リスクモデルを組み合わせた、シークレット漏えいの予防、検知、対応のための統合アーキテクチャを提案する。我々の方法論には、(i) 露出したシークレットのリスクを定量化するための数学モデル、(ii) ヒューリスティックと軽量な教師あり学習に基づく検知アルゴリズム、(iii) GitLeaks、TruffleHog、HashiCorp Vault、Suricata、Sigma、SIEM といったツールとの運用統合が含まれる。われわれは、漏えい履歴が既知の12のオープンソースリポジトリと、48のマイクロサービスを備えた Kubernetes 環境で検証済みの機能プロトタイプを実装した。結果は、平均検知時間（MTTD）の87%削減、認証情報の平均時間的露出の72%低減、ならびに4.8%未満の偽陽性率を示した。さらに、シークレット漏えいと MITRE ATT&CK の T1552（Unsecured Credentials）および T1078（Valid Accounts）技術との直接的な相関を実証した。本研究は、運用手順、客観的指標、および体系的なリスク軽減のための技術的提言を含む、攻撃的・防御的セキュリティチームに対する実践的な貢献を提供する。本研究は、技術的および運用的観点から Secret Management プログラムを成熟させたい組織のための再現可能なフレームワークを確立する。
Read paper →SecretsマルチクラウドおよびDevSecOps環境におけるシークレット漏えいの管理、検知、対応のための形式的・運用的アーキテクチャ
TITLE: マルチクラウドおよびDevSecOps環境におけるシークレット漏えいの管理、検知、対応のための形式的・運用的アーキテクチャ ABSTRACT: “シークレット” — 暗号鍵、APIトークン、認証情報、証明書、Kubernetesのsecret、およびコード内に埋め込まれた機微な情報 — の不適切な露出は、現在、セキュリティインシデントにおける初期侵害の主要因の一つである。最近の報告によれば、侵害の80%以上が認証情報の不正使用を伴っており（VERIZON, 2023）、一方で実証研究は、Gitリポジトリ上で公開された数百万件のシークレットを示している（MELARA et al., 2019）。本研究では、マルチクラウド環境およびDevSecOpsパイプラインにおけるシークレット漏えいの管理、検知、対応のための形式的・運用的アーキテクチャを提案する。我々のアプローチは、機微な資産の露出を伴う動的システムとしての問題の形式モデリング、ハイブリッド検知アルゴリズム（構造的正規表現、エントロピー分析、教師あり機械学習、文脈的ヒューリスティクス）、GitGuardian、TruffleHog、Gitleaks、HashiCorp Vault、AWS Secrets Manager、Suricata、Sigmaといったツールとの統合、さらに自動化されたローテーションおよび失効メカニズムを組み合わせる。私たちは、このソリューションを公開および非公開の120万件のコミット、87,341件の वास्तविकシークレット、120,000件の合成サンプルからなるデータセットで実験的に評価し、精度97.3%、再現率（recall）94.8%、手動プロセスと比較して平均封じ込め時間（MTTC）63%削減を達成した。さらに、OPAベースのポリシーおよびJust-in-Time制御との統合により、T1552（Unsecured Credentials）およびT1078（Valid Accounts）などのMITRE ATT&CKのTTPに関連する攻撃面が縮小されることを示す。本研究には、AWS IAMキーの外部流出を伴うインシデント対応の実例も含まれ、攻撃連鎖、フォレンジック指標、ならびに根絶プロセスを詳述する。結論として、効果的なシークレット管理には、数学的形式化、安全なエンジニアリング、継続的監視、対応の自動化を統合した体系的アプローチが必要であり、防御的・攻撃的セキュリティチームの双方に実践的指針を提供する。
Read paper →Secretsタイトル: クラウドネイティブ・エコシステムにおけるシークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ
タイトル: クラウドネイティブ・エコシステムにおけるシークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ 要旨: デジタルシークレット—暗号鍵、APIトークン、サービス認証情報、証明書を含む—は、現代の分散システムにおける信頼の基盤を成す。シークレットの漏えいは、重大なセキュリティインシデントの主要因として一貫して挙げられており、財務的および運用上、甚大な影響を及ぼす。本論文では、静的解析、行動監視、ならびに導出および分離のための暗号学的メカニズムを統合した、クラウドネイティブ環境におけるシークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャを提案する。我々の方法論は、(i) 時間オートマトンに基づくシークレットのライフサイクルの形式モデル、(ii) 適応的エントロピーと教師あり学習を統合したハイブリッドな露出検出アルゴリズム、(iii) 可用性および原子性の保証と整合するローテーションプロトコル、の3要素から構成される。実装として、HashiCorp Vault、SPIFFE/SPIRE、および GitHub Advanced Security と連携する Kubernetes 上の実行可能なプロトタイプを構築した。12.4百万件のコードアーティファクトと31億件の監査イベントからなるデータセット上で本ソリューションを評価し、商用ツール（TruffleHog、GitLeaks、AWS Secrets Manager）と比較した。その結果、平均復旧時間（MTTR-S）の47.3%短縮、認証情報の残留露出の62.8%減少、ならびに3.9%の偽陽性率を示し、正規表現のみに基づく手法（12.7%）を下回った。運用オーバーヘッドは、プロダクション負荷においてCPU 4.6%未満に維持された。我々の知見は、シークレットのライフサイクルの形式化と、そのローテーションの暗号学的に基盤づけられた自動化が、重要インフラのレジリエンス向上に対する重要な進歩であることを示している。中心的貢献は、形式モデル、システム工学、ならびに大規模実証評価を統合し、分散環境におけるシークレットに関連する体系的リスクを軽減するための厳密な枠組みを提供する点にある。
Read paper →Secretsタイトル: クラウドネイティブ環境におけるシークレット管理の運用工学: 形式モデリング、自動検出、および侵害対応
タイトル: クラウドネイティブ環境におけるシークレット管理の運用工学: 形式モデリング、自動検出、および侵害対応 要旨: シークレットの露出 — 暗号鍵、APIトークン、サービス認証情報、証明書、アプリケーションのシークレット — は、現代の企業環境、特に cloud-native および DevSecOps アーキテクチャにおいて、最も一般的な侵害ベクトルの一つとなっている。近年のインシデントは、シークレット漏えいが、横展開、データ流出、ランサムウェアを含む完全な侵入チェーンの原因となることを示している。本研究は、運用的観点からシークレットの管理、検出、漏えい対応の問題を検討し、機微資産の形式モデリング、CI/CD パイプラインにおける自動スキャン、ランタイムでの行動検知、および自動暗号ローテーションを組み合わせた統合アーキテクチャを提案する。 本手法は、三つの柱に基づく。(i) シークレットのライフサイクルを動的システム S = (K, U, P, T) として形式モデリングし、K はシークレット集合、U は許可されたユーザ/プロセス、P はポリシー、T は状態遷移を表す。(ii) 静的ルール（regex、シャノンエントロピー）と教師ありモデルを組み合わせ、アーティファクト分類を行うハイブリッド検出機構。(iii) HashiCorp Vault、Kubernetes、Suricata、Sigma を統合し、失効と継続的監視を実現する自動応答フレームワーク。1,200 の Git リポジトリと 3.8 TB の運用ログを備えた制御環境でソリューションを評価し、TruffleHog、GitLeaks、detect-secrets などのツールと比較した。 結果は、手動ベースラインと比較して平均検出時間（MTTD）を 82%、平均復旧時間（MTTR）を 67% 削減したことを示した。提案したハイブリッドモデルにより、偽陽性率は 14.2% から 4.8% に低減された。さらに、自動ローテーションにより、平均露出期間は 19.4 日から 3.1 時間へと短縮された。以上より、統合され形式化されたアプローチは、シークレット管理の運用成熟度を大幅に高め、攻撃的および防御的セキュリティチームに対して測定可能な लाभを提供することが示された。
Read paper →Secretsタイトル: クラウドネイティブ・インフラにおけるシークレットのガバナンス、検知、および自動ローテーションのための形式アーキテクチャ
タイトル: クラウドネイティブ・インフラにおけるシークレットのガバナンス、検知、および自動ローテーションのための形式アーキテクチャ 要旨: 計算機シークレットの不適切な管理は、クラウドネイティブ・インフラにおける侵害の主要因の一つであり続けている。アクセストークン、暗号鍵、データベース認証情報、デジタル署名アーティファクトは、公開リポジトリ、継続的インテグレーションのパイプライン、アプリケーションログにしばしば露出する。2025年には、Kubernetes ベースのアーキテクチャ、DevSecOps 実践、CNAPP（Cloud-Native Application Protection Platform）、および開発フローに統合された大規模言語モデル（LLMs）の普及を背景に、シークレットに関連する攻撃面は大幅に拡大した。本研究では、数理モデリングと時相的性質の検証に基づく、シークレットのガバナンス、検知、および自動ローテーションのための形式アーキテクチャを提案する。シークレットのライフサイクルを時間付きオートマトンとしてモデル化された動的システムとして形式化し、線形時相論理を用いて機密性および整合性の保証を表現する。さらに、Shannon エントロピーに Miller–Madow 補正を組み合わせたハイブリッド検知機構、構造パターン、および gradient boosting に基づく教師あり学習を導入する。露出ウィンドウを形式的に定義し、累積リスクを瞬時の悪用率の積分としてモデル化する。加えて、原子性および監査可能性の保証を備えた適応的ローテーション・プロトコルを提案し、Kubernetes 環境および NIST の指針に従う耐量子暗号プラクティスに適合したシークレット管理ツールと統合する。12,457 の公開リポジトリおよび 10,000 pods を有するクラスタ上で実証評価を行い、精度 0.978、再現率 0.95、ならびに露出ウィンドウの平均 89% 削減を達成した。結果の統計的有意性を示し、マルチクラウド環境におけるセキュリティ・ガバナンスおよび露出した認証情報に関連する MITRE ATT&CK 技術の緩和に対する含意を論じる。結論として、数理的形式化、自動検知、および適応的ローテーションの統合は、クラウドネイティブ・インフラにおけるシークレットに関連するシステム的リスクを低減するための有効かつ検証可能なアプローチである。
Read paper →Secretsクラウドネイティブ・インフラストラクチャにおけるシークレットのガバナンス、検知、および自動ローテーションのための形式的アーキテクチャ
TITLE: クラウドネイティブ・インフラストラクチャにおけるシークレットのガバナンス、検知、および自動ローテーションのための形式的アーキテクチャ ABSTRACT: コンピュテーショナル・シークレットの不適切な管理は、依然としてクラウドネイティブ・インフラストラクチャにおける侵害の主要因の一つである。アクセストークン、暗号鍵、データベース認証情報、デジタル署名アーティファクトは、公開リポジトリ、継続的インテグレーション・パイプライン、およびアプリケーション・ログにしばしば露出する。2025年において、Kubernetesベースのアーキテクチャ、DevSecOpsプラクティス、CNAPP（Cloud-Native Application Protection Platform）、ならびに開発フローに統合された大規模言語モデル（LLMs）の広範な利用が定着したことで、シークレットに関連する攻撃面は大幅に拡大した。本研究では、数学的モデリングと時間的性質の検証に基づく、シークレットのガバナンス、検知、および自動ローテーションのための形式的アーキテクチャを提案する。シークレットのライフサイクルを時間オートマトンでモデル化された動的システムとして形式化し、機密性と整合性の保証を線形時相論理によって表現する。さらに、ShannonエントロピーとMiller–Madow補正、構造的パターン、およびgradient boostingに基づく教師あり学習を組み合わせたハイブリッド検知機構を導入する。露出ウィンドウを厳密に定義し、累積リスクを瞬時の悪用率の積分としてモデル化する。加えて、NISTの指針に従った耐量子暗号の実践に適合するシークレット管理基盤と統合された、原子性および監査可能性を保証する適応的ローテーション・プロトコルを提案する。本解決策を12,457件の公開リポジトリおよび10,000 podを有するクラスターで実証的に評価し、precision 0.978、recall 0.95、ならびに露出ウィンドウの平均89%削減を得た。結果の統計的有意性を示し、マルチクラウド環境におけるセキュリティ・ガバナンスおよび露出した認証情報に関連するMITRE ATT&CK技術の緩和への含意を論じる。結論として、数学的形式化、自動検知、および適応的ローテーションの統合は、クラウドネイティブ・インフラストラクチャにおけるシークレットに関連するシステミック・リスクを低減するための有効かつ検証可能なアプローチである。
Read paper →Secretsタイトル: クラウドネイティブ環境における暗号学的に検証可能なシークレットのオーケストレーション: 形式モデル、分散アーキテクチャ、および大規模実証評価
タイトル: クラウドネイティブ環境における暗号学的に検証可能なシークレットのオーケストレーション: 形式モデル、分散アーキテクチャ、および大規模実証評価 要旨: マイクロサービス、コンテナ、CI/CD パイプラインに基づくクラウドネイティブ・アーキテクチャの採用拡大は、シークレット管理を分散システムのセキュリティにおける中心的課題へと押し上げた。認証情報、API トークン、および暗号鍵の漏えいが繰り返し発生していることは、従来の、安全な保管のみに焦点を当てたアプローチでは、きわめて一時的な環境において機密性と適時な失効を保証するには不十分であることを示している。本研究では、ラベル付き遷移システムに基づくシークレットのライフサイクルに関する形式モデルを提案し、時間的露出と累積リスクの定量指標を定義する。さらに、MITRE ATT&CK フレームワークおよび現代的なクラウドセキュリティ実践と整合する脅威モデルの下で、機密性、完全性、一時性、および失効可能性の性質を形式化する。加えて、HSM における暗号学的に安全な生成、TPM 2.0 に基づくリモートアテステーション、SPIFFE/SPIRE によるワークロード ID、Envoy を用いた mTLS 通信、継続的異常検知、ならびに機械学習に基づく適応的失効を統合する VSMO（Verifiable Secrets Management and Orchestration）アーキテクチャを導入する。システムは、512 ノードおよび 38,000 の稼働中ポッドを備えた Kubernetes v1.29 クラスタ上で評価され、広く利用されている 3 つのベースラインと比較した。結果は、発行あたり 5 ms 未満の追加レイテンシを維持しつつ、時間的露出が平均 72.4% 減少し、シークレットの不正再利用が 63.1% 減少することを示した。さらに、妥当な検知率の仮定の下では、露出期待値が継続的モニタリング能力に反比例することを示す。本研究は、形式的厳密性、検証可能なアーキテクチャ、および大規模実証検証を統合することで貢献し、2025 年時点の最先端に至るクラウドネイティブ環境における暗号学的に検証可能なシークレット・オーケストレーションのための理論的基盤と実証的証拠を提供する。
Read paper →Secretsクラウドネイティブ環境における暗号学的に検証可能なシークレットオーケストレーション：形式モデル、分散アーキテクチャ、および大規模実証評価
TITLE: クラウドネイティブ環境における暗号学的に検証可能なシークレットオーケストレーション：形式モデル、分散アーキテクチャ、および大規模実証評価 ABSTRACT: マイクロサービス、コンテナ、CI/CDパイプラインに基づくクラウドネイティブアーキテクチャの急速な普及により、シークレット管理は分散システムセキュリティにおける中心的課題へと浮上している。認証情報、APIトークン、暗号鍵の継続的な漏洩は、安全な保存のみに依存する従来型アプローチが、高度にエフェメラルな環境において機密性および適時の失効を保証するには不十分であることを示している。本研究では、ラベル付き遷移系に基づくシークレットのライフサイクルの形式モデルを提案し、時間的露出および累積リスクの定量的指標を定義する。さらに、MITRE ATT&CKフレームワークおよび現代のクラウドセキュリティ実践と整合する脅威モデルの下で、機密性、完全性、エフェメラリティ、および失効可能性の特性を形式化する。加えて、VSMO（Verifiable Secrets Management and Orchestration）アーキテクチャを導入する。これは、HSMにおける暗号学的に安全な生成、TPM 2.0に基づくリモートアテステーション、SPIFFE/SPIREによるワークロードアイデンティティ、Envoyを用いたmTLS通信、継続的な異常検知、および機械学習に基づく適応的失効を統合するものである。本システムを、512ノードおよび38,000のアクティブPodを持つKubernetes v1.29クラスター上で評価し、広く利用されている3つのベースラインと比較した。結果として、シークレット発行あたり5 ms未満の追加レイテンシを維持しつつ、平均72.4%の時間的露出削減と63.1%のシークレット不正再利用の減少が確認された。さらに、検知率に関する合理的な仮定の下では、期待露出が継続的モニタリング能力に反比例することを示す。本研究は、形式的厳密性、検証可能なアーキテクチャ、および大規模な実証的検証を統合することで、2025年時点の最先端に至るクラウドネイティブ環境における暗号学的に検証可能なシークレットオーケストレーションのための理論的基盤と実践的証拠を提供する。
Read paper →SecretsSecretGraph: クラウドネイティブ・エコシステムにおけるシークレットの管理、検出、および適応的ローテーションのための形式的・スケーラブル・検証可能なアーキテクチャ
TITLE: SecretGraph: クラウドネイティブ・エコシステムにおけるシークレットの管理、検出、および適応的ローテーションのための形式的・スケーラブル・検証可能なアーキテクチャ ABSTRACT: デジタルシークレットの管理は、弾力性、ワークロードのエフェメラル性、継続的インテグレーション、およびAPIを介した広範な公開によって特徴づけられるクラウドネイティブインフラストラクチャにおいて、主要なリスク要因の一つとして確立されている。近年の産業レポートによれば、侵害された認証情報は依然としてセキュリティ侵害の主因の一つであり、DevSecOpsパイプラインおよび公開アーティファクトの増加が攻撃面を拡大させている。本研究では、シークレット露出の問題を、動的有向グラフ上における重み付き露出時間最小化問題として形式化する。このグラフでは、頂点が計算主体のアイデンティティを表し、辺が認証情報によって媒介される依存関係を表す。シークレット平均露出時間（MSET: Mean Secret Exposure Time）を含む定量的指標を定義し、構造的依存関係の下での最適ローテーション方策が、任意重みと優先関係を持つ古典的スケジューリング問題への還元によりNP困難であることを示す。さらに、静的解析、動的モニタリング、コンテキスト検査を組み合わせたハイブリッド検出、依存関係グラフのインクリメンタル構築、媒介中心性に基づく優先度付け、および暗号化ボルトAPIを介した適応的ローテーションオーケストレーションを統合するアーキテクチャSecretGraphを提案する。GoおよびRustでプロトタイプを実装し、Kubernetes、SPIFFE/SPIRE、HashiCorp Vaultと統合した上で、最大10,000のアクティブシークレットと120万件のコミットを含む環境で評価を行った。その結果、固定ローテーションポリシーと比較してMSETを78.4%削減しつつ、平均CPUオーバーヘッドを7%未満に維持した。さらに、MITRE ATT&CK技術との関係、NISTが推奨する耐量子暗号との統合、およびメトリクス指向のセキュリティガバナンスへの含意について議論する。結論として、シークレット依存関係の構造的モデリングを明示的に行うことで、形式的保証と大規模運用上の実用性を維持しながら、攻撃可能な露出ウィンドウを測定可能な形で削減できることを示す。
Read paper →Secretsタイトル: クラウドネイティブ基盤におけるシークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ
タイトル: クラウドネイティブ基盤におけるシークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ 要旨: シークレット管理は、エフェメラルなマイクロサービス、DevSecOps パイプライン、および動的オーケストレーションによって攻撃対象領域が大幅に拡大するクラウドネイティブ基盤におけるセキュリティの柱の一つである。侵害された認証情報は、実際のインシデントにおいて依然として最も悪用されるベクトルの一つであり、特に有効なアカウントの悪用やコードリポジトリからのシークレット抽出を通じて問題となる。本研究では、厳密な数学的モデリングに基づき、Zero Trust、ソフトウェアサプライチェーンセキュリティ、および2025年までの cloud-native 環境保護に関する現代的指針に整合した、シークレットの管理、検出、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャを提案する。シークレットのライフサイクルを時間付き状態遷移システムとして形式化し、機密性、原子性、および結果整合性に関する定量的性質を定義する。さらに、Shannon エントロピーに基づくフィルタリングと文脈依存の教師あり分類を組み合わせたハイブリッド検出アルゴリズムを提示し、偽陽性および偽陰性確率に対する形式的な境界を与える。また、分散時間順序に着想を得た、crash-stop 型の部分故障モデル下で保証を持つ自動ローテーションプロトコルを導入する。Go および Rust で実装し、Kubernetes、HashiCorp Vault、ならびに eBPF による可観測性メカニズムと統合した本システムは、1,200 のマイクロサービスと 85,000 のアクティブなシークレットを持つ大規模環境で評価された。その結果、平均精度 96.1%、再現率 94.3%、および平均検出時間の 78.4% 削減が示された。さらに、制限事項、生成 AI 環境への含意、および言語モデルとコード自動化に関連する新たなリスクについて議論する。結論として、数学的形式化、文脈的検出、および原子性のあるローテーションの組合せは、クラウドネイティブ・エコシステムにおけるシークレット漏えいを体系的に緩和するための堅牢かつ検証可能なアプローチである。
Read paper →Secretsクラウドネイティブ基盤における秘密情報の管理、検知、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ
TITLE: クラウドネイティブ基盤における秘密情報の管理、検知、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャ ABSTRACT: 秘密情報の管理は、クラウドネイティブ基盤におけるセキュリティの中核を成す柱の一つであり、そこでは短命なマイクロサービス、DevSecOps パイプライン、および動的オーケストレーションが攻撃面を大幅に拡大する。侵害された認証情報は、実世界のインシデントにおいて最も悪用される攻撃ベクトルの一つであり、特に有効なアカウントの利用およびコードリポジトリからの秘密情報抽出を通じて顕著である。本研究では、厳密な数学的モデリングに基づき、Zero Trust、ソフトウェア・サプライチェーン・セキュリティ、および2025年までのcloud-native環境保護に関する現代的指針に整合した、秘密情報の管理、検知、および自動ローテーションのための形式的かつスケーラブルなアーキテクチャを提案する。我々は、秘密情報のライフサイクルを時限状態遷移システムとして形式化し、機密性、原子性、ならびに最終的整合性に関する定量的性質を定義する。さらに、Shannon エントロピーに基づくフィルタリングと文脈的な教師あり分類を組み合わせたハイブリッド検知アルゴリズムを提示し、偽陽性および偽陰性確率に対する形式的な上界を与える。加えて、分散時間順序付けに着想を得た、crash-stop 型の部分故障モデル下で保証を備えた自動ローテーション・プロトコルを導入する。Go および Rust で実装し、Kubernetes、HashiCorp Vault、および eBPF による観測機構と統合した本システムは、1,200 のマイクロサービスと 85,000 のアクティブな秘密情報を含む大規模環境で評価された。その結果、平均精度 96.1%、再現率 94.3%、および平均検知時間の 78.4% 削減が示された。我々は、制約、生成 AI 環境への含意、ならびに言語モデルおよびコード自動化に関連する新たなリスクについて議論する。結論として、数学的形式化、文脈的検知、および原子的ローテーションの組み合わせは、クラウドネイティブ・エコシステムにおける秘密情報漏えいを体系的に緩和するための、堅牢かつ検証可能なアプローチである。
Read paper →