論文の概要: 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つの違反した特異性条件のインスタンスであることを示す。
この貢献は、影響されたシステムではなく、表現機構による体系化、古典的な正準化セキュリティと表現と計算可能性理論の基礎の間の橋渡し、そしてリスクを予防的に認識できる、適用可能なレビュー手順(レビュー手順のシーケンス、フィールドタイプの分類、運用境界モデルを含む正準化義務)への変換である。
実行された独特性は、障害クラスの悪用を減らしますが、さらなる保護措置や狭義の暗号セキュリティに関する言明を置き換えません。
関連論文リスト
- Renaming or Tightness: Enforcing Disjunctive Information Flow Policies [7.541234468065092]
解答的政策は、価値が2つの秘密のうちの少なくとも1つに依存し、その両方に頼らないことを許す。
ハントとサンドスは情報量を導入してセマンティクスを与え、執行層を開放したままにした。
我々は、量子化が求めるフローセンシティブな型システムファミリを構築し、そのようなファミリを有用なものにするオブジェクトを2つに分割することを示す。
論文 参考訳（メタデータ） (2026-08-10T04:53:10Z) - 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) - (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。
その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。
本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文 参考訳（メタデータ） (2024-10-22T00:41:47Z) - 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) - Asymmetric Modality Translation For Face Presentation Attack Detection [55.09300842243827]
顔提示攻撃検出(PAD)は、悪意のあるユーザによって顔認識システムが偽造されるのを防ぐための重要な手段である。
両モードシナリオにおける非対称なモダリティ変換に基づく新しいフレームワークを提案する。
本手法は,異なる評価プロトコル下での最先端性能を実現する。
論文 参考訳（メタデータ） (2021-10-18T08:59:09Z) - Prototype-supervised Adversarial Network for Targeted Attack of Deep
Hashing [65.32148145602865]
ディープハッシュネットワークは、敵の例に弱い。
ProS-GAN(ProS-GAN)の提案
我々の知る限りでは、これはディープハッシュネットワークを攻撃する最初の世代ベースの方法である。
論文 参考訳（メタデータ） (2021-05-17T00:31:37Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。