論文の概要: Full Provenance on the COSS Causal Axis: An Event-Level Closure of Causal Attribution and Confused-Deputy Exclusion
- arxiv url: http://arxiv.org/abs/2611.07164v1
- Date: Wed, 04 Nov 2026 21:42:21 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-06 21:50:50.45708
- Title: Full Provenance on the COSS Causal Axis: An Event-Level Closure of Causal Attribution and Confused-Deputy Exclusion
- Title（参考訳）: COSS因果軸の完全証明:因果帰属の事象レベル閉鎖と混同された論争排除
- Abstract要約: 我々は、アーキテクチャ非依存の混乱した主張を除外する定理を証明した。
完全証明は因果グラフのエッジを復元するエビデンス機構であることを示す。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Provenance Identity Continuity (PIC) represents an authority-use event as an operation/resource behavior situated in a causal lineage, $(o,r,\ell)\in O\times R\times L$. We make the causal occurrence itself primitive: a represented security-relevant causal graph $(E,\to_c)$ in which each occurrence has a unique causal history, so the consistent event-lineage space is canonically isomorphic to $E$. The modeled execution has one causal partial order; distinct lineages are distinct causal histories inside it and may share a root while diverging into incomparable branches. PIC's $O\times R\times L$ is the authority-behavior projection of this space, and Causally Ordered Security-State (COSS) continuity generalizes it to an arbitrary behavior product over the same causal execution. On this semantics we prove an architecture-independent confused-deputy exclusion theorem. PIC continuation requires $C(e')\subseteq C(e)$ on every ordinary causal edge, so descendants are bounded by their ancestors; at an ordinary join, authority available on only one incoming branch cannot be resurrected, even when branches share a common root. Non-conservative combination must be an explicit authorized composition or relaxation event. With protected-effect mediation, an effect caused by request $q$ through an ordinary authority segment can exercise only authority in $C(q)$, so a confused-deputy state is contradictory. The result holds for any system whose protected request-to-effect causes are faithfully represented and whose ordinary authority transport satisfies PIC. We revisit Rajani, Garg, and Rezk: their value, control-flow, and initial-heap attacks are different witnesses of causal ancestry, so full provenance is an evidence mechanism for recovering edges of the causal graph, not the foundation of the PIC theorem. Finally we lift it to the COSS product of heterogeneous security-state coordinates.
- Abstract（参考訳）: Provenance Identity Continuity (PIC) は、(o,r,\ell)\in O\times R\times L$ という因果関係にある操作/リソースの振る舞いとして権威のあるイベントを表す。
因果関係を表現したセキュリティ関連因果グラフ $(E,\to_c)$ はそれぞれの因果関係に固有の因果関係を持つので、一貫した事象線空間は$E$ に正準同型である。
モデル化された実行は1つの因果的部分順序を持ち、異なる系統は内部の因果的履歴を区別し、非比較不可能な枝に分岐しながら根を共有する可能性がある。
PICの$O\times R\times L$は、この空間の権威-行動予測であり、Causally Ordered Security-State (COSS)連続性は同じ因果実行上の任意の行動積に一般化する。
この意味論に基づいて、アーキテクチャ非依存の混乱した議論の排除定理を証明した。
PICの継続には、すべての通常の因果エッジにおいて$C(e')\subseteq C(e)$が必要であるので、子孫はその祖先によって境界づけられる。
非保守的な組み合わせは、明示的なコンポジションまたは緩和イベントでなければならない。
保護効果媒介では、通常の権威セグメントを通しての要求$q$による効果は、$C(q)$でのみ権限を行使できるので、混乱状態は矛盾する。
その結果、保護された要求・効果原因が忠実に表現され、通常の権限輸送がPICを満足するシステムに当てはまる。
我々は、Rajani、Garg、Rezkを再考する:それらの価値、制御フロー、初期ヒープ攻撃は、因果関係の証人が異なるため、完全な証明は、因果グラフのエッジを復元するための証拠メカニズムであり、PIC定理の基礎ではない。
最後に、不均一なセキュリティ状態座標のCOSS製品にそれを持ち上げる。
関連論文リスト
- Causal Reasoning with Bipartite Graphical Causal Models [0.7106986689736826]
カウサルベイズネットワーク(CBN)と構造因果モデル(SCM)は、グラフィカル因果推論の主要なフレームワークである。
本稿では,変数ノードと方程式ノードを持つ二部グラフを用いて,方程式系の構造を符号化する二部グラフ因果モデル(BGCM)を提案する。
論文 参考訳（メタデータ） (2026-08-20T09:33:20Z) - A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus [5.076419064097734]
1-toposコアの最初のマシンチェックをCuical Agdaで行います。
我々はすべてのトポロジーの下で介入とパールの規則が安定していることを示す。
我々は、そのプログラムが考慮しない現象、すなわち、マシンチェックされた文脈性障害を加える。
論文 参考訳（メタデータ） (2026-07-17T05:05:31Z) - LC-ERD: Mining Latent Logic for Self-Evolving Reasoning via Consistency-Regulated Reward Decomposition [55.572260012037084]
本稿では, LC-ERD (Logic-Consistent Endogenous Reward Decomposition) を紹介する。
モデルの潜在論理エキスパートズ(Latent Logic Expertise)からのコンセンサスを集約することで、変分論理ポテンシャルを導出する。
LC-ERDは、論理の一貫性と正確性の間のトレードオフを明らかにする、堅牢な自己進化パスを提供する。
論文 参考訳（メタデータ） (2026-05-19T07:27:50Z) - Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces [0.0]
我々は、汎用型付き時間グラフの拡張手順として、直接イベントエミッションとサブエージェント呼び出しを定式化する。
CTEGは、ノードがタイムスタンプとイベントタイプを持つ根付きアーボラッセンスである。
CTEGフォーマリズムは、グローバルに整形された実行トレースの構成的構築をサポートする。
論文 参考訳（メタデータ） (2026-04-19T17:57:46Z) - On the Capacity of Self-Attention [0.2538209532048867]
本稿では,自己保持能力に関するキャパシティに基づくスケーリング法を提案する。
D_K$は、広いグラフのクラスにおいて、$m'$関係を回復するのに必要かつ十分であることを示す。
また、固定されたD_K$を多数の小さな頭部に割り当てることで干渉を緩和することを示した。
論文 参考訳（メタデータ） (2025-09-26T18:47:35Z) - ACCESS : A Benchmark for Abstract Causal Event Discovery and Reasoning [47.540945048737434]
我々は、抽象因果イベントの発見と推論のために設計されたベンチマークである textttACCESS を紹介する。
本稿では,暗黙的なコモンセンス因果的知識の大規模データセットから,イベント一般化のための抽象化を識別するためのパイプラインを提案する。
論文 参考訳（メタデータ） (2025-02-12T06:19:02Z) - A complete logic for causal consistency [0.0]
本モデルでは,グラフ上の因果構造を調べるツールとしてグラフ型を導入する。
グラフ型の性質は、ポムセット論理を保守的に拡張する新しい因果論理の因果一貫性の完全性を証明するために使われる。
因果論理がポムセット論理を保守的に拡張するという事実を利用して、ポムセットとBVを分離する文の物理的に意味のある解釈を与える。
論文 参考訳（メタデータ） (2024-03-14T11:36:53Z) - Causality is all you need [63.10680366545293]
因果グラフルーティング(Causal Graph Routing, CGR)は、データに隠された原因影響力を明らかにするための介入機構を完全に依存した統合因果スキームである。
CGRは、Visual Question AnswerとLong Document Classificationタスクの両方において、最先端のメソッドを超越することができる。
論文 参考訳（メタデータ） (2023-11-21T02:53:40Z) - Causal de Finetti: On the Identification of Invariant Causal Structure in Exchangeable Data [45.389985793060674]
制約に基づく因果探索法は、条件付き独立試験を利用して、様々な応用において因果関係を推定する。
交換可能なデータには、i.d.$$データよりもリッチな条件付き独立構造が含まれており、よりリッチな構造が因果発見にどのように活用できるかを示す。
論文 参考訳（メタデータ） (2022-03-29T17:10:39Z) - Causal Expectation-Maximisation [70.45873402967297]
ポリツリーグラフを特徴とするモデルにおいても因果推論はNPハードであることを示す。
我々は因果EMアルゴリズムを導入し、分類的表現変数のデータから潜伏変数の不確かさを再構築する。
我々は、反事実境界が構造方程式の知識なしにしばしば計算できるというトレンドのアイデアには、目立たずの制限があるように思える。
論文 参考訳（メタデータ） (2020-11-04T10:25:13Z) - A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。
より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文 参考訳（メタデータ） (2020-10-27T13:04:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。