論文の概要: Defining Purpose-Limited Secrets

• arxiv url: http://arxiv.org/abs/2610.10010v2
• Date: Thu, 15 Oct 2026 05:30:19 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-16 19:13:15.816386
• Title: Defining Purpose-Limited Secrets
• Title（参考訳）: 目的限定秘密の定義
• Abstract要約: 暗号秘密は、ある目的のために発行されるが、能力を与え、通常、その能力は大きい。 私たちはその目的を秘密の財産にする。 支払いトークンは、1つの秘密に3つのレジーム全てを使用する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: A cryptographic secret is issued for a purpose but grants a capability, and the capability is usually larger. Deployed systems state the purpose in policy and enforce only the capability. We make the purpose a property of the secret. A mechanism sees operations, not reasons, so a scheme enforces an admissible set $A(P)$ of operations that stands in for a declared intended use $I$; whether $I$ captures the human purpose is a modeling obligation that marks where policy takes over. Against the same $I$ we define three regimes: under confinement an operation outside the intended use is infeasible, under mediation a trusted component refuses it, and under accountability use beyond a stated bound is possible but attributed to the holder. The confinement games, for unpredictability and indistinguishability, coincide with the key-query forms of functional-signature unforgeability and constrained-PRF pseudorandomness and correspond to simulation-secure functional encryption within its feasibility boundary; stated against $I$, they also register a predicate that permits too much. A payment token uses all three regimes on one secret: it pays one capped charge at one merchant, can be narrowed but not widened, is checked by the merchant, and identifies the withdrawing account if spent twice. Attenuation unforgeability reduces to unforgeable signatures and a collision-resistant hash without random oracles; traceability and non-frameability hold under discrete log and unforgeable signatures in the random-oracle model. We present this framework as a common specification against which existing primitives are stated and compared.
• Abstract（参考訳）: 暗号秘密は、ある目的のために発行されるが、能力を与え、通常、その能力は大きい。 デプロイされたシステムは、ポリシーの目的を述べ、能力のみを強制する。 私たちはその目的を秘密の財産にする。 メカニズムが操作を認識するのは理由ではなく、そのためのスキームは、宣言された目的の使用のための操作の許容セットである$A(P)$を強制する。 同じ$I$に対して、私たちは3つのルールを定義します。 制限の下では、意図された使用以外の操作は不可能であり、仲介下では、信頼されたコンポーネントはそれを拒否します。 制限ゲームは、予測不可能性と識別不能性のために、関数署名の非偽造性と制約されたPRF擬似ランダム性のキークエリ形式と一致し、その実現可能性境界内でのシミュレーション-セキュアな機能暗号化に対応し、$I$に対して、過剰な許可を許す述語も登録する。 支払いトークンは3つのレジーム全てを1つの秘密に使用しており、1つの商店に1つの上限料金を支払うことができ、幅を狭められるが、拡張されないことができ、商店によってチェックされ、もし2回使った場合、引き出し口座を識別する。 トレーサビリティと非フレームビリティは、ランダム・オラクル・モデルにおいて離散ログと非forgeableシグネチャの下で保持される。 このフレームワークは,既存のプリミティブを記述し比較する共通仕様として提示する。

関連論文リスト

• On the Inseparability of Instructions and Data in Shared-Embedding Sequence Models [0.0]
  我々は、制御権威行動を伴うプロンプトアクションモデルとして、誘導されたシステムを定式化する。 共有パイプライン内では,SFC(Semantic-Faithful Control)が実現不可能であることを示す。 根本原因とそれが要求するソリューションのクラスを特定します。
  論文  参考訳（メタデータ） (2026-06-25T21:52:29Z)
• AgentSecBench: Measuring Prompt Injection, Privacy Leakage, and Tool-Use Integrity in LLM Agents [0.2864713389096699]
  本稿では,AgentSecBenchを,この問題に対する正式なセキュリティフレームワークの実証的なインスタンス化として紹介する。 3つのゲーム・インストラクション・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス(英語版)・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス(英語版)・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス・インテリジェンス(英語版)を定めている。 これは、承認された観察と能力に対するプロジェクションとしてのアプリケーションポリシーを表し、プロジェクションの即時アノテーションとプロジェクションの強化を区別し、敵のアドバンテージと、防衛が生成前に関連するモデル可視チャネルを閉鎖するかどうかを計測する。
  論文  参考訳（メタデータ） (2026-05-25T18:53:22Z)
• Write-Domain Separation and Non-Custodial Enforcement: A Structural Impossibility in Account-Based Ledgers, with a Commitment-Based Construction [0.0]
  我々は台帳アクセス制御に関する構造的疑問を問う。 当該議定書は、当該財産の将来の処分を、留置することなく、かつ、執行時に所有者の協力を必要とせずに実施することができるか。 我々は,Non-Custodial Enforceed Encumbrance (NCEE) として,セルフカストディ,トランジション制限,無効性,無許可の実施を対象とする4つの仕様を定式化した。
  論文  参考訳（メタデータ） (2026-05-02T02:59:55Z)
• Causal Identification from Counterfactual Data: Completeness and Bounding Results [54.147490305295456]
  本研究では,任意のレイヤ3分布の集合から対実的なクエリを識別するアルゴリズムを開発した。 我々は、物理的に実現可能な分布から反事実を特定できる理論的限界を確立する。 我々は、そのような量の新たな解析的境界を、実現可能な対実データを用いて導出する。
  論文  参考訳（メタデータ） (2026-02-26T22:48:12Z)
• Functional Encryption in the Bounded Storage Models [0.0]
  有界量子記憶モデル(BQSM)と有界古典記憶モデル(BCSM)の可能性について検討する。 BQSMでは,情報理論に基づくセキュリティを満足する非対話型関数暗号を$q=O(sqrts/r)$で構築する。 BCSMでは,情報理論的部分指数シミュレーションに基づくセキュリティを満足する非対話型関数暗号を構築している。
  論文  参考訳（メタデータ） (2023-09-13T03:55:36Z)
• Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
  ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。 我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
  論文  参考訳（メタデータ） (2023-03-15T15:00:20Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
  計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。 我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。 補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
  論文  参考訳（メタデータ） (2020-09-29T08:41:53Z)

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

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