論文の概要: EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
- arxiv url: http://arxiv.org/abs/2407.07444v1
- Date: Wed, 10 Jul 2024 07:56:05 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-11 17:31:45.656053
- Title: EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
- Title(参考訳): EDHOC:新しいセキュリティハンドシェイク標準:セキュリティ分析の概要
- Authors: Elsa López Pérez, Inria Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić,
- Abstract要約: 本報告では,新たなセキュリティハンドシェイクプロトコルEDHOCの正式な解析を行う。
標準化されたプロトコルの概要、コミュニティによる公式なセキュリティ分析の概要、そして今後の作業のためのオープンな会場に関する議論を提供する。
- 参考スコア(独自算出の注目度): 0.7106646005370618
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The paper wraps up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol as it was standardized, a summary of the formal security analyses conducted by the community, and a discussion on open venues for future work.
- Abstract(参考訳): 本報告では,新たなセキュリティハンドシェイクプロトコルEDHOCについて,標準化されたプロトコルの概要,コミュニティによる公式なセキュリティ分析の概要,今後の作業のためのオープンな会場に関する議論をまとめて,公式なセキュリティハンドシェイクプロトコルEDHOCの正式な分析を呼び掛けている。
関連論文リスト
- Games for AI Control: Models of Safety Evaluations of AI Deployment Protocols [52.40622903199512]
本稿では,多目的かつ部分的に観察可能なゲームとして,AI-Control Gamesを紹介した。
我々は、信頼できない言語モデルをプログラミングアシスタントとしてデプロイするためのプロトコルをモデル化、評価、合成するために、フォーマリズムを適用した。
論文 参考訳(メタデータ) (2024-09-12T12:30:07Z) - Reconciling Safety Measurement and Dynamic Assurance [1.6574413179773757]
安全ケースアプローチにおける動的保証を容易にする新しい枠組みを提案する。
主な焦点は安全アーキテクチャであり、その基盤となるリスク評価モデルは、安全性の測定から運用リスクへの具体的なリンクを与える。
論文 参考訳(メタデータ) (2024-05-30T02:48:00Z) - Service Level Agreements and Security SLA: A Comprehensive Survey [51.000851088730684]
本調査では,SLA管理のコンセプト,アプローチ,オープンな課題を網羅する技術の現状を明らかにする。
これは、既存の調査で提案された分析と、このトピックに関する最新の文献とのギャップを包括的にレビューし、カバーすることで貢献する。
SLAライフサイクルの段階に基づく分析を組織化するための新しい分類基準を提案する。
論文 参考訳(メタデータ) (2024-01-31T12:33:41Z) - A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。
本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。
実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文 参考訳(メタデータ) (2024-01-19T14:52:04Z) - Source-Replacement Model for Phase-Matching Quantum Key Distribution [0.40964539027092917]
直感的なソース置換モデルを用いて位相マッチングプロトコルのセキュリティについて検討する。
本手法の適用例として,ビーム分割攻撃方式を提案する。
論文 参考訳(メタデータ) (2023-09-29T15:00:10Z) - Practical quantum secure direct communication with squeezed states [55.41644538483948]
CV-QSDCシステムの最初の実験実験を行い,その安全性について報告する。
この実現は、将来的な脅威のない量子大都市圏ネットワークへの道を歩み、既存の高度な波長分割多重化(WDM)システムと互換性がある。
論文 参考訳(メタデータ) (2023-06-25T19:23:42Z) - Single-Photon-Memory Measurement-Device-Independent Quantum Secure
Direct Communication -- Part I: Its Fundamentals and Evolution [63.75763893884079]
量子セキュア直接通信(QSDC)は多くの注目を集めており、盗聴に直面した通信の無条件安全性を保証するために、深いルートの量子物理原理を利用している。
まず、まずQSDCの基礎を概観し、その後、セキュリティ証明、性能改善技術、実践的実装など、その進化について述べる。
論文 参考訳(メタデータ) (2023-04-19T02:26:25Z) - Towards Safer Generative Language Models: A Survey on Safety Risks,
Evaluations, and Improvements [76.80453043969209]
本調査では,大規模モデルに関する安全研究の枠組みについて述べる。
まず、広範囲にわたる安全問題を導入し、その後、大型モデルの安全性評価手法を掘り下げる。
トレーニングからデプロイメントまで,大規模なモデルの安全性を高めるための戦略について検討する。
論文 参考訳(メタデータ) (2023-02-18T09:32:55Z) - Multi-party quantum key agreement protocol with authentication [16.298896422265297]
認証付きマルチパーティ量子鍵契約プロトコルを提案する。
古典的なハッシュ関数とアダマール演算を用いて参加者の同一性を認証する。
このプロトコルの共通攻撃に対するセキュリティを解析する。
論文 参考訳(メタデータ) (2021-03-23T01:12:55Z) - Composable Security for Multipartite Entanglement Verification [3.4806267677524896]
我々は、$n$のパーティが、おそらく不正直なパーティーによって制御される絡み合った生成リソースをテストすることができる構成可能なセキュアなプロトコルを提案する。
このテストは、状態が共有されると、局所的な量子演算と認証された古典的通信でのみ行われる。
我々のプロトコルは一般に、通信や計算プロトコルを実行する前に、ネットワーク間でGHZ状態を安全に共有するために、量子インターネットのサブルーチンとして使用することができる。
論文 参考訳(メタデータ) (2020-04-16T14:33:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。