論文の概要: Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance

• arxiv url: http://arxiv.org/abs/2608.06508v1
• Date: Thu, 06 Aug 2026 18:47:32 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-10 16:21:25.265195
• Title: Canonicalization Failures as a Recurring Vulnerability Class: Representation Divergence in Cryptographic Systems and Its Avoidance
• Title（参考訳）: 再帰的脆弱性クラスとしての正準化失敗:暗号システムにおける表現の多様性とその回避
• Abstract要約: この研究は散在する発見を体系的に整理する。 これは、それらが2つの基本的な方向に沿って、1つの違反した一意性条件の例であることを示している。 貢献は明らかにこの現象の発見ではなく、3倍である。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Cryptographic systems operate on bytes but mean semantic objects. The translation between the two is rarely unique. Where this uniqueness is not enforced, an attack surface opens up as soon as a hash, a signature, replay protection, or consensus identity depends on the representation. The same class of failure has been discovered independently and named locally across many ecosystems, as transaction malleability, non-deterministic value encoding, message malleability, or hash chain malleability, without its common root being tracked as a cross-ecosystem grid. This work organizes the scattered findings systematically: it shows that they are instances of one violated uniqueness condition, along two basic directions: multiple valid codes for one object (object-side multiple representation) or one code for multiple objects (code-side semantic collapse). The contribution is explicitly not the discovery of the phenomenon, but is threefold: the systematization by representation mechanism rather than by affected system, the bridge between classical canonicalization security and a representation- and computability-theoretic foundation, and the translation into an applicable review procedure (a canonicalization obligation with a sequence of review steps, a field-type classification, and an operational boundary model) with which the risk can be recognized preventively. We substantiate the class with worked-out cases, delimit it against incidents that are not representation problems, and deliberately keep the claims to what is demonstrable: enforced uniqueness can reduce the exploitability of a failure class, but it neither replaces further protective measures or makes any statement about cryptographic security in the narrower sense
• Abstract（参考訳）: 暗号システムはバイトで動作するが、意味的オブジェクトを意味する。 両者の翻訳は稀に独特である。 このユニークさが強制されない場合、ハッシュ、シグネチャ、リプレイ保護、コンセンサスIDが表現に依存すると、アタックサーフェスはすぐに開きます。 同じタイプの障害が独立して発見され、トランザクションの可換性、非決定論的値符号化、メッセージの可換性、ハッシュチェーンの可換性など、多くのエコシステムにわたって局所的に命名されている。 この研究は、散在する発見を体系的に整理する: それらは、1つのオブジェクトの複数の有効なコード(オブジェクト側の多重表現)と、複数のオブジェクトの1つのコード(コード側のセマンティック崩壊)の2つの基本的な方向に沿って、1つの違反した特異性条件のインスタンスであることを示す。 この貢献は、影響されたシステムではなく、表現機構による体系化、古典的な正準化セキュリティと表現と計算可能性理論の基礎の間の橋渡し、そしてリスクを予防的に認識できる、適用可能なレビュー手順(レビュー手順のシーケンス、フィールドタイプの分類、運用境界モデルを含む正準化義務)への変換である。 実行された独特性は、障害クラスの悪用を減らしますが、さらなる保護措置や狭義の暗号セキュリティに関する言明を置き換えません。

関連論文リスト

• A Verifier-Centric Conceptual Model for Digital Credential Ecosystems [0.0]
  2つの分解に基づいて構築された検証器中心の概念モデルを提案する。 我々は、相互運用の障害、検証側負担、オフラインの検証可能性、プライバシーへの影響、および要素間比較が未解決のままである用語的曖昧さについて説明する。
  論文  参考訳（メタデータ） (2026-07-12T12:59:26Z)
• Algorithmically Presented Numbers and Canonical Representations in Cryptographic Protocols [0.0]
  その焦点は、抽象値が拡張性として計算可能であることではなく、表現システムにおけるその表現のアルゴリズム構造に向けられている。 アルゴリズム的に近似可能な(A_app)、計算可能な実数、システム内で有限に記述可能な3つの表現論的概念を区別する。 計算可能実数の任意の近似プログラムを一意に有限値符号化に変換する計算可能拡張正規化器は存在しないことを示す。
  論文  参考訳（メタデータ） (2026-07-06T12:56:58Z)
• On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains [0.0]
  本稿では,暗号的に固定された決定論的計算フレームワークであるMerkle Automatonの概念を紹介する。 各エージェントのトランジション、メモリフラグメント、推論ステップは、オンチェーンでルートされたMerkle構造内で実行される。 このアーキテクチャはメモリをキャッシュではなく台帳として再設定する - 内容がプロトコルによって強制され、暗号によって拘束され、形式論理によって制約される。
  論文  参考訳（メタデータ） (2025-06-16T08:43:56Z)
• Supervised and Unsupervised Alignments for Spoofing Behavioral Biometrics [7.021534792043867]
  生体認証システムはユーザ固有の特性に基づいており、通常は埋め込みと呼ばれる高次元表現に符号化される。 我々は,アライメント手法を用いて,2つの行動バイオメトリックシステムに対してスプーフィング攻撃を行う。
  論文  参考訳（メタデータ） (2024-08-14T20:46:59Z)
• Data Reconstruction: When You See It and When You Don't [75.03157721978279]
  我々は,2つの補足的な疑問に対処することで,再建攻撃の概念を「サンドウィッチ」することを目指している。 我々は,再建攻撃に対するセキュリティ定義を定式化するために,新たな定義パラダイムであるナルシッソス・レジリエンスを導入する。
  論文  参考訳（メタデータ） (2024-05-24T17:49:34Z)
• Split-State Non-Malleable Codes and Secret Sharing Schemes for Quantum Messages [14.150289683819759]
  本稿では,共有エンタングルメントを持つ量子敵に対してセキュアな量子メッセージに対して,分割状態の非有理符号と秘密共有方式を導入する。 より正確には、外部システムとの絡み合いを保った量子メッセージのための、効率よくエンコード可能でデオード可能な分割可能な非有理状態符号と秘密共有スキームを構築した。
  論文  参考訳（メタデータ） (2023-08-12T05:15:35Z)
• Spatial-Frequency Discriminability for Revealing Adversarial Perturbations [53.279716307171604]
  敵の摂動に対するディープニューラルネットワークの脆弱性は、コンピュータビジョンコミュニティで広く認識されている。 現在のアルゴリズムは、通常、自然および敵対的なデータの識別的分解を通じて、敵のパターンを検出する。 空間周波数Krawtchouk分解に基づく識別検出器を提案する。
  論文  参考訳（メタデータ） (2023-05-18T10:18:59Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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