論文の概要: HDKEM: Authentication Allocation for Deniable Hybrid Key Exchange
- arxiv url: http://arxiv.org/abs/2610.16100v1
- Date: Mon, 12 Oct 2026 03:07:12 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-19 07:42:00.701086
- Title: HDKEM: Authentication Allocation for Deniable Hybrid Key Exchange
- Title（参考訳）: HDKEM: 識別可能なハイブリッドキー交換のための認証割り当て
- Abstract要約: 認証可能な鍵交換(DAKE)は、ある当事者が参加する移行可能な証拠を残さずに共有鍵を確立する。
本稿では,各セッションを1つのリングシグネチャで認証するDAKEプロトコルについて検討し,その識別機構を3つの認証アロケーションに分割することを示す。
固定リングプロトコルでは、証人隠蔽は、リングシグネチャの証人識別可能性ギャップとプロトコルの$(,)$ deniabilityパラメータの間に必要となる関係をもたらす。
- 参考スコア（独自算出の注目度）: 1.382448805410091
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Deniable authenticated key exchange (DAKE) establishes a shared key without leaving transferable evidence that a party participated. We study DAKE protocols that authenticate each fresh session with one ring signature and show that their deniability mechanisms fall into three authentication allocations: sharing an authentication witness, hiding the signing witness under a fixed ring, or varying the verified ring between real and simulated executions. For fixed-ring protocols, witness hiding yields a necessary relation between the ring signature's witness-indistinguishability gap and the protocol's $(μ,δ)$ deniability parameters. We instantiate witness hiding in HDKEM, a three-slot hybrid that combines ML-KEM-768, X25519, and an optional pairwise information-theoretic source through a split-key PRF. HDKEM binds all public session values, including a QKD key identifier when present, into authentication and key derivation. Under the stated component models, it achieves eCK key indistinguishability, forward secrecy, and strong local deniability. We evaluate HDKEM with FalconRS and Gandalf. Across 2,000 primitive operations, median signing/verification times are 9.20/1.02 ms for FalconRS and 18.61/0.97 ms for Gandalf in our reference environment. In source-backed mode, the corresponding TCP-application costs are 8,607 B and 8,555 B per handshake. A separate 500-session server experiment exercises the complete FalconRS source-backed path and reports a median server time of 16.29 ms including local I/O.
- Abstract（参考訳）: 認証可能な鍵交換(DAKE)は、ある当事者が参加する移行可能な証拠を残さずに共有鍵を確立する。
本研究では,各セッションを1つのリングシグネチャで認証するDAKEプロトコルについて検討し,認証証の共有,署名証人の固定リング下での隠蔽,実とシミュレートされた実行の間に検証済みのリングの変更という3つの認証アロケーションに分割することを示す。
固定リングプロトコルでは、証人隠蔽は、リングシグネチャの証人識別可能性ギャップとプロトコルの$(μ,δ)$ deniabilityパラメータの間に必要となる関係をもたらす。
我々は、ML-KEM-768とX25519を組み合わせた3スロットハイブリッドであるHDKEMに、スプリットキーPRFを介して任意のペア情報理論ソースを隠蔽する。
HDKEMは、QKDキー識別子を含むすべての公開セッション値を認証とキー導出にバインドする。
記述されたコンポーネントモデルの下では、eCKキーの不識別性、前方機密性、および強い局所的識別性を達成する。
FalconRSとGandalfでHDKEMを評価した。
2,000以上の原始的な運用では、FalconRSは9.20/1.02 ms、Gandalfは18.61/0.97 msである。
ソースバックモードでは、対応するTCPアプリケーションコストは8,607B、1ハンドシェイクあたり8,555Bである。
別個の500セッションサーバ実験では、FalconRSのソースバックパスを完全に実行し、ローカルI/Oを含む16.29msのサーバタイムを報告している。
関連論文リスト
- QIAP: A Quantum-Inspired Authentication Protocol with BB84-Based Channel Monitoring [2.2693646792532856]
ステートフルなハイブリッドフレームワークQIAPは、コミットメントベースのチャレンジレスポンス認証とBB84ベースの量子チャネル監視を組み合わせる。
1枝につき1000件の不正秘密試験で認証は成功しなかった。
その結果,QIAPは秘密ベースの身元認証とQBERに基づくチャネル障害評価を併用する軽量なフレームワークを提供することができた。
論文 参考訳（メタデータ） (2026-10-12T03:40:17Z) - Hub-Spectral Activation of Latent Multimodal Knowledge [48.72626098917089]
Hub-Spectral Activation (HSA) は、凍結表現における潜在マルチモーダル知識のハブ可読成分の回復と活性化のための閉形式法である。
HSAは、ハブエッジ統計データを合成し、標準化し、ペア化されたスペクトル方向を抽出し、信頼性に富んだ一致した証拠とソースゲートの候補分解を結合する。
論文 参考訳（メタデータ） (2026-09-15T12:27:42Z) - Identity-Bound Academic Credentials on Blockchain: On-Chain Issuer Accreditation with ERC-3643 and OnchainID [39.146761527401424]
本報告では,OnchainIDの自己主権IDを構成する,IDに基づく学術的資格情報のためのレジストリの設計について述べる。
各証明書は、学生の身元に拘束された、署名された、高額な請求書として表現され、財布のない第三者によって検証される。
我々は、その保証のどれが引き継がれるかを明確にし、トランスファー可能なセキュリティトークン標準と非トランスファー可能な認証の緊張関係を明確にする。
論文 参考訳（メタデータ） (2026-07-17T17:18:34Z) - Cycle-Consistent Neural Explanation of Formal Verification Certificates [5.61123152362224]
本稿では,検証証明書の忠実な自然言語記述を生成するサイクル一貫性ニューラルアーキテクチャを提案する。
ポインタジェネレータ機構は、証明書から直接状態名をコピーすることで、語彙基底を保証する。
学習したアーキテクチャは、ハイブリッドな推論時ルーティング戦略と組み合わせて、90.0%のサイクル検証された音性を実現する。
論文 参考訳（メタデータ） (2026-06-23T10:51:54Z) - BIDO: A Biometric Identity Online Authentication Framework [0.0]
BIDOは、NIST SP 800-63B当たりのAu- thenticator Assurance Level 2 (AAL2)を達成するデバイスフリー認証標準である。
生成された認証情報は、発見不可能な(非居住者の)Web認証(WebAuthn)認証である。
論文 参考訳（メタデータ） (2026-05-16T09:49:10Z) - Send the Key in Cleartext: Halving Key Consumption while Preserving Unconditional Security in QKD Authentication [59.664950447941386]
量子鍵分配(QKD)プロトコルは、蒸留された鍵の無条件のセキュリティを維持するために、古典的なチャネルの情報理論セキュア(ITS)認証を必要とする。
QKDは相互認証を必要とするため、2つの独立したワンタイム鍵は通常ラウンド毎に消費される。
我々は$varepsilon$-Almost Strongly Universal$(varepsilon$-ASU$)に基づく新しいITS認証方式を提案する。
論文 参考訳（メタデータ） (2026-03-26T14:36:05Z) - Governing Dynamic Capabilities: Cryptographic Binding and Reproducibility Verification for AI Agent Tool Use [0.0]
既存のセキュリティレイヤでは、AIエージェントに何ができるか、それが主張するものを実行したのか、マルチエージェントインタラクションで何が起きたのかを検証できない。
既存のフレームワークはこれら2つを詳述し、サイレントな能力のエスカレーションを可能にし、検証済みの証明なしに相互作用を残す。
我々は3つのエージェントガバナンス要件を導出する:能力の完全性(G1)、行動の妥当性(G2)、相互作用監査性(G3)。
基本(Ed25519, SHA-256; 97 us verify)と拡張(BBS+選択開示、Groth16 DV-SNARK; 13.8 ms)の2つの暗号に依存しないインスタンス化で検証する。
論文 参考訳（メタデータ） (2026-03-15T11:46:57Z) - Obfuscation as an Effective Signal for Prioritizing Cross-Chain Smart Contract Audits: Large-Scale Measurement and Risk Profiling [42.77773046319942]
HOBFNETはOBFPROBEの高速サロゲートであり、数百万のクロスチェーンスコアリングを可能にする。
系統的なスコアドリフトを観察し、チェーン内のパーセンタイルキューを動機付ける。
チェーンの再利用は尾に富み、より小さなエコシステムから大きなエコシステムへと方向偏りがある。
論文 参考訳（メタデータ） (2026-01-24T08:05:39Z) - Binding Agent ID: Unleashing the Power of AI Agents with accountability and credibility [46.323590135279126]
BAID(Binding Agent ID)は、検証可能なユーザコードバインディングを確立するための総合的なアイデンティティ基盤である。
ブロックチェーンベースのID管理とzkVMベースの認証プロトコルの実現可能性を実証し、完全なプロトタイプシステムの実装と評価を行った。
論文 参考訳（メタデータ） (2025-12-19T13:01:54Z) - Secure Multi-Party Biometric Verification using QKD assisted Quantum Oblivious Transfer [34.46964288961048]
本稿では、量子オブリバスト転送(QOT)によって実現されたセキュアなマルチパーティ計算アプリケーションの実践的実装について述べる。
QOTプロトコルは、偏光符号化された絡み合った状態を使用して、認証を提供する量子鍵分布(QKD)を用いて、2つのパーティ間で不明瞭な鍵を共有する。
インターポールと国連のno-flyリストに対するプライバシー保護指紋マッチングの実用的なユースケースが実証されている。
論文 参考訳（メタデータ） (2025-01-09T15:51:30Z) - Biometrics-Based Authenticated Key Exchange with Multi-Factor Fuzzy Extractor [19.129363889273904]
ユーザの秘密(例えばパスワード)とユーザの生体情報の両方を統合する新しい多要素ファジィ抽出器を提案する。
次に、この多要素ファジィ抽出器を用いて、新しい多要素認証鍵交換プロトコルで使用できる個人認証情報を構築する。
論文 参考訳（メタデータ） (2024-05-19T05:50:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。