論文の概要: Beyond Proof of Possession: A Relational Theory of Authority

• arxiv url: http://arxiv.org/abs/2611.07159v1
• Date: Wed, 04 Nov 2026 21:35:27 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-11-06 21:50:50.455832
• Title: Beyond Proof of Possession: A Relational Theory of Authority
• Title（参考訳）: 可能性の証明を超えて:権威の関係理論
• Abstract要約: 我々はPopof of Possession(PoP)とPopof of Relation(PoR)を分離する 我々は、商が関係プロファイル空間を形成する認可関連同値関係により実行者を分類する。 二重単調性, 複合閉包, 原位置関係閉包を証明した。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Proof-of-Possession (PoP) establishes that an executor controls an artifact (key, token, credential, or capability), but such control alone determines neither the executor's relational profile nor the causal history of an execution occurrence. We separate PoP from Proof of Relationship (PoR), the semantic property that one execution occurrence validly continues another, and from authorization, which is occurrence-sensitive. The foundational change is in the semantic domain of authorization: from holders and authority-bearing artifacts to execution occurrences situated in causal histories. We give authorization models an observation-based occurrence verdict and a separate transition-admissibility relation; kernel inclusion yields a partial order on observation-kernel classes. Building on Provenance Identity Continuity (PIC) and Proof-of-Continuity (PoC), we classify executors by authorization-relevant equivalence relations whose quotients form relational profile spaces, with positive predicates over profile transitions forming a distributive lattice. This adds relational attenuation to authority attenuation: along a valid causal history, $C_{i+1}\subseteq C_i$ and $ρ_{i+1}\Rightarrowρ_i$. We prove dual monotonicity, combined closure, and origin relational closure. Two occurrences of the same authenticated executor, with the same profile and possession evidence, need not be authorization-equivalent, and within a valid PIC lineage a deputy's independent authority cannot be imported outside the origin context. Finally, we prove that the executor-dependent decision factors through the relational profile and is invariant under sound mechanisms establishing it: successor-side PoP is a possible evidence mechanism, not a necessary premise of authorization. Under explicit Witness Assumptions, a boundary-witnessed checkpoint construction realizes the premises without successor-side PoP.
• Abstract（参考訳）: Proof-of-Possession (PoP) は、実行者がアーティファクト(キー、トークン、クレデンシャル、または能力)を制御することを保証するが、そのような制御だけで、実行時の関係プロファイルも、実行時の因果履歴も決定しない。 我々は,PoPを関係性の証明(PoR)から分離し,ある実行の発生が有効に継続する意味特性と,発生に敏感な承認とを分離する。 基本的な変更は、所有者や権限を有するアーティファクトから、因果履歴にある実行発生まで、承認の意味領域にある。 カーネルのインクルージョンは、観測カーネルクラスに部分順序を与える。 Provenance Identity Continuity (PIC) と Proof-of-Continuity (PoC) に基づいて、我々は、商が関係プロファイル空間を形成し、プロファイル遷移に対する正の述語が分配格子を形成する認可関連同値関係によって実行者を分類する。 C_{i+1}\subseteq C_i$ と $ρ_{i+1}\Rightarrowρ_i$ である。 二重単調性, 複合閉包, 原位置関係閉包を証明した。 同一の認証執行人の2つの発生は、同一のプロファイルと所有証拠を持つが、認証に等価である必要はなく、有効なPIC系統では、副官の独立した権限は、原産地の外部にインポートすることはできない。 最後に, 後継側PoPは, 承認の必要条件ではなく, 証拠機構であることを示す。 明示的なWitness Assumptionsの下で、境界ウィットアップされたチェックポイント構成は、後続側PoPのない前提を実現する。

関連論文リスト

• Chain-of-Thought Oversight Requires Separate Evidence for Faithfulness and Monitorability [47.59866831149984]
  チェーンオブ思考の監視における一般的な仮定は、可視的推論トレースはモデルの振る舞いを監視しやすくする、というものである。 この仮定は、モデルの内部計算をリンクし、アーティファクトを推論し、アウトプットを出力し、判断をモニターする連鎖に沿って、異なる性質を説明できると主張している。 この連鎖に沿った4つの特性は、推論可視性、機械的忠実性、機械的ローカライズビリティ、行動監視性である。
  論文  参考訳（メタデータ） (2026-11-01T06:16:34Z)
• Constraining the Commit Boundary: A DIO/ODI-Informed Authorization Guardrail for Agentic Entity Resolution [0.0]
  エージェントエンティティ解決(ER)システムは、反復的にアクションを計画し、証拠を取得し、仮説を修正し、グラフ突然変異を提案する。 本稿では,デジタルID最適化(DIO)とオントロジー・オブ・デジタルID(ODI)インフォームド認証境界を提案する。
  論文  参考訳（メタデータ） (2026-10-27T15:22:00Z)
• From Capability to Assurance in Autonomous Penetration-Testing Harnesses: A Framework and Reference Implementation [0.0]
  我々は、保証プロパティはハーネス、ランタイムがモデルをラップし、コードで強制できると主張している。 まず,5つの保証特性(証拠的根拠,非破壊的クレームの低減,計算された重大度,強制的認可,明白な説明責任)の枠組みを定義する。 次に,フレームワーク内の代表システム(PentestGPT,Cochise参照ハーネス,MAPTA,PentestJudge)を公開コーディング基準を用いて配置し,一貫した保証ギャップを同定する。 第三に、あるオープンソース実装であるNeuroSploitを正確にコミットし、そのアーキテクチャ、そのアーキテクチャを報告する。
  論文  参考訳（メタデータ） (2026-09-19T00:37:49Z)
• Object-to-Source Mapping under Optimization: What a Control-Flow Trace Can Show, and Where Source-Level Coverage Breaks [46.45816037744739]
  制御フロートレースは、マシンレベルの実行を再構築することができるが、ソースレベルの構造カバレッジに加えて、生成された命令からの検証された帰属と、ソースの義務への分岐結果が必要である。 本稿では,その境界を定義し,コンパイラの正確な出力を図示する。 付録では、実際のシリコン上でのエンド・ツー・エンドのメカニズムを例示している。
  論文  参考訳（メタデータ） (2026-08-29T17:06:10Z)
• Twin Worlds: Equivariance-Based Abstention for Evidence-Grounded Reasoning [38.63002496590365]
  本稿では,知識集約的推論における信頼性向上のための枠組みを提案する。 重要な要因は、文脈における実体の言及が記憶された関連を活性化し、モデルが証拠に埋もれていないプラウシブルな応答を生成することである。 我々は、パラメトリックな先行値を減らしながら関係構造を保ちつつ、元の入力の型付き置換によって複数の世界を構築する。
  論文  参考訳（メタデータ） (2026-08-28T07:33:29Z)
• Fingerprinting Text-to-Image Diffusion Models via Collapsed Generation [38.697895774925136]
  崩壊生成は、学習された生成プロセスの本質的でモデルに依存した特性である。 崩壊した世代指紋は、混乱の少ない異なるソースモデルを識別できることを示す。 これらの指紋は、微調整されたデリバティブや、一般的で適応的なモデルやクエリレベルの難読化の下でも検証可能である。
  論文  参考訳（メタデータ） (2026-08-12T07:12:38Z)
• Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI Agents [0.0]
  Proof-of-Possession認証モデルは、トークン、資格、能力などのアーティファクトの所有から権威を導き出す。 本稿では、離散的な実行チェーンでは保持が不十分であると主張している。 本稿では,Provenance Identity Continuityモデルのための最小限の権限付与規律であるProof-of-Continuityを紹介する。
  論文  参考訳（メタデータ） (2026-07-09T19:59:29Z)
• From Runtime Records to Legal Findings: An Evidentiary-Adequacy Criterion for Agentic AI Oversight [0.0]
  報告書は、有界な決定のクラスに対する明らかかつ適切な基準を定義している。 それは、選択されたEU AI Actの監督義務に対する基準をインスタンス化する。
  論文  参考訳（メタデータ） (2026-07-01T13:41:23Z)
• Sovereign Execution Broker: Enforcing Certificate-Bound Authority in Agentic Control Planes [2.124730017640531]
  Sovereign Execution Broker (SEB) は証明書バウンドエージェントインフラストラクチャのランタイム実行境界である。 提案、承認、実行を分離することで、SEBは認定された権限を短期間で監査可能なランタイム能力に変換する。 本稿では,SEBの実行モデル,証明書と再生検証の述語,スコープ付きアイデンティティセマンティクス,バイパス防止デプロイメントパターン,障害行動,具体的プロトタイプ実装について述べる。
  論文  参考訳（メタデータ） (2026-06-18T17:36:46Z)
• Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
  我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。 プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
  論文  参考訳（メタデータ） (2026-01-23T17:17:32Z)
• Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
  観測と実験の任意の組み合わせからネスト反事実の同定について検討した。 具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
  論文  参考訳（メタデータ） (2021-07-07T12:51:04Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。