最近、arXivに投稿された論文「Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense」（著者：Kerri Prinosら8名、arXiv:2605.03034）は、セキュリティオペレーションセンター（SOC）が敵対的圧力下でエンドポイント検出・応答（EDR）ポリシーを構成する際に形式的保証を提供する新しいアーキテクチャを提案している。従来のエージェントシステムは、高リスクな意思決定において形式的な保証を欠いており、本研究はその課題に取り組んでいる。
提案されたアーキテクチャの核心は、LLMエージェントが決定論的ツール（Stackelberg最適応答、ベイズ観測更新、攻撃グラフプリミティブ）を利用し、ツール出力インターフェースで強制される有限アクションカタログからアクションを選択することである。この設計により、LLMの予測不可能な出力を回避し、形式検証の基盤を築いている。研究チームは複合Lyapunov関数を採用し、Lean 4定理証明器を用いて完全な機械検証（ゼロsorry）を実施し、システムの制御可能性、非対称センサーデータからの観測可能性、および知的敵対的外乱下での入力対状態安定性（ISS）ロバスト性を正式に認定した。このLyapunov関数には2つの系が付随し、カタログ内の任意のコントローラや敵対者に証明を拡張できる。
実験では、282の実企業攻撃グラフを使用して理論的主張を検証し、結果は余裕を持って成立した。ペアの攻撃・防御テレメトリを用いた評価では、ツール仲介のClaude Sonnet 4コントローラが決定論的欲張りベースラインと比較して攻撃者の期待利得（ゲーム値）を59%削減し、4つの温度で40回の試行において分散ゼロを達成した。より低性能のClaude Haiku 4.5コントローラでも、追加の40回の試行でサブ最適なゲーム値に収束しながらもカタログ有界性を維持し、アーキテクチャの安定性がコントローラの能力に依存しないことを示した。
論文は、LLMエージェントの非決定性が戦略の創造的探索を促進し、ツール仲介アーキテクチャがシステムの安定性を保証すると結論付けている。この研究は、自律的サイバー防御システムの信頼性に新たな理論的基盤と実験的証拠を提供し、高リスク分野におけるエージェントシステムの安全な応用を促進するものと期待される。