ニコラ・ガロ (Nicola Gallo) 氏は2026年11月4日(現地時間)、arXiv cs.CRで、因果的な帰属とConfused Deputy問題の排除に関するイベントレベルでの閉包を扱った論文を発表した。同論文は、コーザリー・オーダー・セキュリティ・ステート・コンティニュイティ (Causally Ordered Security-State Continuity, COSS Continuity) の概念を通じ、セキュリティ関連の因果グラフにおける完全な来歴について論じ、アーキテクチャに依存しないConfused Deputy問題排除定理を証明した。
ガロ氏の論文は、まずプロベナンス・アイデンティティ・コンティニュイティ (Provenance Identity Continuity, PIC) を、因果的系統における操作およびリソースの振る舞いとして権限使用イベントを表現するものと定義する。さらに、因果的発生そのものをプリミティブ化し、各発生が固有の因果的履歴を持つセキュリティ関連の因果グラフを提示した。
PICの概念を、同一の因果的実行における任意の振る舞い積へと一般化したものがCOSS Continuityである。ガロ氏は、このセマンティクスに基づいて、特定のアーキテクチャに依存しないConfused Deputy問題排除定理を証明した。この定理は、保護されたリクエストから効果への因果関係が忠実に表現され、通常の権限移送がPICを満たすあらゆるシステムに適用される。
PICの継続性では、全て通常の因果エッジにおいて継承者がその祖先によって制約されることが要件とされている。通常の結合においては、一方の入力枝でのみ利用可能な権限は、たとえ枝が共通のルートを共有していても復活しない。非保存的な組み合わせは、明示的に許可された構成または緩和イベントとして扱う必要がある。
また、保護された効果の仲介を用いることで、リクエスト $q$ を通じて通常の権限セグメントによって引き起こされる効果は、$C(q)$ 内の権限のみを行使できるため、Confused Deputyの状態は矛盾すると結論付けている。論文では、ラジャニ氏、ガージ氏、レズク氏による研究における攻撃が因果的祖先の異なる証人であると再解釈し、完全な来歴は因果グラフのエッジを回復するための証拠メカニズムであり、PIC定理の基礎ではないとの見解を示している。最終的に、これを異種セキュリティ状態座標のCOSS積へと拡張している。
参考: arXiv cs.CR (アーカイブ) — 2026年11月6日 14:00 (JST)
原文ハイライト"an event-level closure of causal attribution and confused-deputy exclusion"