論文の概要: A blueprint for constructing 3-pass AKE protocols under commitment-based models
- arxiv url: http://arxiv.org/abs/2605.23843v1
- Date: Fri, 22 May 2026 16:51:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-25 17:29:20.434385
- Title: A blueprint for constructing 3-pass AKE protocols under commitment-based models
- Title（参考訳）: コミットメントに基づく3パスAKEプロトコル構築のための青写真
- Authors: Rodrigo Martín Sánchez-Ledesma,
- Abstract要約: 両プリミティブに対して,コミットメントベースのAKEモデルの下でセキュアな3パスプロトコルが存在することを示す。
結果として得られたプロトコルは、3つのメッセージ交換で一方的な認証を提供する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The commitment-based AKE model provides a formal security framework for key exchange protocols that avoid long-term cryptographic material, achieving authentication through a final out-of-band verification of session-derived values. Within this model, secure KA-based and KEM-based protocols were previously constructed via a commitment-based MT compiler, yielding optimized 4-pass protocols. In this work, we show that 3-pass protocols secure under this model exist for both primitives. These protocols are constructed ad hoc, following the core ideas of the commitment-based MT authenticator, and their SK security in the unauthenticated model is proved using the same game-based techniques, achieving bounds of the same form as those previously achieved. The resulting protocols provide one-way authentication in three message exchanges.
- Abstract（参考訳）: コミットベースのAKEモデルは、長期暗号材料を避けるための鍵交換プロトコルの正式なセキュリティフレームワークを提供し、セッション元値の最終的なアウトオブバンド検証を通じて認証を実現する。
このモデルでは、安全なKAベースのプロトコルとKEMベースのプロトコルは、以前はコミットメントベースのMTコンパイラを使用して構築され、最適化された4パスプロトコルが得られた。
本研究では,2つのプリミティブに対して,このモデルの下でセキュアな3パスプロトコルが存在することを示す。
これらのプロトコルは、コミットメントベースのMT認証のコアアイデアに従って、アドホックに構築され、未認証モデルにおけるそれらのSKセキュリティは、以前達成したのと同じ形式のバウンダリを達成して、同じゲームベース技術を用いて証明される。
結果として得られたプロトコルは、3つのメッセージ交換で一方的な認証を提供する。
関連論文リスト
- AgentRFC: Security Design Principles and Conformance Testing for Agent Protocols [2.1352949241716352]
エージェントプロトコルにより、自律的なエージェントが機能を発見し、タスクを委譲し、信頼境界を越えてサービスを構成することができる。
大規模なデプロイメントにもかかわらず、これらのプロトコルの体系的なセキュリティフレームワークは存在しない。
Agent Protocol Stack、Agent-Agnostic Security Model、AgentConformの3つのコントリビューションを提示します。
論文 参考訳（メタデータ） (2026-03-25T00:25:02Z) - 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) - Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version) [1.5997757408973357]
音響アニメーションを生成するIsabelle形式を用いたNeedham-Schroederプロトコルをモデル化する。
以上の結果から,すべてのシナリオにおいて信頼性が保たれていることが示唆された。
我々は、透かしとジャミングを統合したPLSベースのDiffie-Hellmanプロトコルを提案している。
論文 参考訳（メタデータ） (2025-08-26T20:59:16Z) - Voting-Based Semi-Parallel Proof-of-Work Protocol [45.776687601070705]
まず、既存の並列PoWプロトコルを検討し、ハードコード型インセンティブアタック構造を開発する。
我々は,中本コンセンサスと既存のパラレルPoWプロトコルよりも優れた投票ベースの半並列PoWプロトコルを提案する。
論文 参考訳（メタデータ） (2025-08-08T17:57:35Z) - CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection [41.94295877935867]
我々は,新たな暗号プロトコルの脆弱性を自律的に識別する大規模言語モデルの能力を評価するためのベンチマークを導入する。
私たちは、新しい、欠陥のある通信プロトコルのデータセットを作成し、AIエージェントが発見した脆弱性を自動的に検証する方法を設計しました。
論文 参考訳（メタデータ） (2024-11-20T14:16:55Z) - Simultaneous quantum identity authentication scheme utilizing entanglement swapping with secret key preservation [0.0]
量子ID認証(QIA)のための新しいプロトコルを提案する。
提案手法は,AliceとBobという2人のユーザの同時認証を容易にする。
提案プロトコルは、不正行為、傍受、再送、偽造攻撃など、様々な既知の攻撃に対処できることを実証する。
論文 参考訳（メタデータ） (2024-05-23T18:40:15Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳（メタデータ） (2024-01-19T14:52:04Z) - Provably Secure Commitment-based Protocols over Unauthenticated Channels [0.0]
我々は、認証された交換のための既存のモデルと必ずしも一致しない可能性のあるプロトコルをカバーするための理論的なセキュリティフレームワークを構築している。
本稿では,両当事者間の共通秘密を確立するためのコミットベースのプロトコルをいくつか提案し,その非認証チャネルに対する抵抗性について検討する。
これは、プロトコル自体のセキュリティの堅牢性、およびMan-in-the-Middle攻撃に対する堅牢性を分析することを意味する。
論文 参考訳（メタデータ） (2023-07-28T10:35:35Z) - Practical quantum secure direct communication with squeezed states [37.69303106863453]
CV-QSDCシステムの最初の実験実験を行い,その安全性について報告する。
この実現は、将来的な脅威のない量子大都市圏ネットワークへの道を歩み、既存の高度な波長分割多重化(WDM)システムと互換性がある。
論文 参考訳（メタデータ） (2023-06-25T19:23:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。