論文の概要: Asynchronous Authentication
- arxiv url: http://arxiv.org/abs/2312.13967v2
- Date: Tue, 25 Jun 2024 18:14:44 GMT
- ステータス: 処理完了
- システム内更新日: 2024-06-27 19:24:20.682391
- Title: Asynchronous Authentication
- Title(参考訳): 非同期認証
- Authors: Marwa Mouallem, Ittay Eyal,
- Abstract要約: デジタル資産盗難と個人情報盗難事件は、ユーザー認証の基礎を再考する緊急の必要性を示している。
非同期認証の一般的なケースを非有界メッセージ伝搬時間で定式化する。
我々のモデルは、暗号保証を維持するために実行時間を制限しながら、最終的なメッセージ配信を可能にします。
- 参考スコア(独自算出の注目度): 3.038642416291856
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A myriad of authentication mechanisms embody a continuous evolution from verbal passwords in ancient times to contemporary multi-factor authentication. Nevertheless, digital asset heists and numerous identity theft cases illustrate the urgent need to revisit the fundamentals of user authentication. We abstract away credential details and formalize the general, common case of asynchronous authentication, with unbounded message propagation time. Our model, which might be of independent interest, allows for eventual message delivery, while bounding execution time to maintain cryptographic guarantees. Given credentials' fault probabilities (e.g., loss or leak), we seek mechanisms with the highest success probability. We show that every mechanism is dominated by some Boolean mechanism -- defined by a monotonic Boolean function on presented credentials. We present an algorithm for finding approximately optimal mechanisms. Previous work analyzed Boolean mechanisms specifically, but used brute force, which quickly becomes prohibitively complex. We leverage the problem structure to reduce complexity by orders of magnitude. The algorithm is readily applicable to practical settings. For example, we revisit the common approach in cryptocurrency wallets that use a handful of high-quality credentials. We show that adding low-quality credentials improves security by orders of magnitude.
- Abstract(参考訳): 無数の認証機構は、古代の口頭パスワードから現代の多要素認証への継続的な進化を具現化している。
それでも、デジタル資産盗難と多数の個人情報盗難事件は、ユーザー認証の基礎を再考する緊急の必要性を示している。
クレデンシャルの詳細を抽象化し、非同期認証の一般的なケースを非有界メッセージ伝搬時間で形式化する。
我々のモデルは、独立した関心を持つかもしれないが、最終的なメッセージ配信を可能にし、暗号保証を維持するために実行時間を制限している。
資格情報の欠陥確率(損失やリークなど)を考慮すれば、最も成功する確率の高いメカニズムを探します。
すべてのメカニズムがBooleanのメカニズムによって支配されていることを示します。
本稿では,ほぼ最適なメカニズムを探索するアルゴリズムを提案する。
以前の研究はブール機構を特に分析したが、ブルート力を使用し、それは急速に複雑化していった。
問題構造を利用して、複雑さを桁違いに減らします。
このアルゴリズムは、実用的な設定に容易に適用できる。
例えば、いくつかの高品質な認証情報を使用する暗号通貨ウォレットの一般的なアプローチを再考する。
低品質な認証を追加することで,セキュリティが桁違いに向上することを示す。
関連論文リスト
- The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。
しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。
しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文 参考訳(メタデータ) (2024-07-16T20:53:04Z) - Biometrics-Based Authenticated Key Exchange with Multi-Factor Fuzzy Extractor [19.129363889273904]
ユーザの秘密(例えばパスワード)とユーザの生体情報の両方を統合する新しい多要素ファジィ抽出器を提案する。
次に、この多要素ファジィ抽出器を用いて、新しい多要素認証鍵交換プロトコルで使用できる個人認証情報を構築する。
論文 参考訳(メタデータ) (2024-05-19T05:50:28Z) - Parallel Decoding via Hidden Transfer for Lossless Large Language Model Acceleration [54.897493351694195]
本稿では,複数連続するトークンを1つのフォワードパスで同時に復号する,新しい並列復号法,すなわちthithidden Transferを提案する。
加速度測定では,Medusa や Self-Speculative decoding など,単モデル加速技術よりも優れています。
論文 参考訳(メタデータ) (2024-04-18T09:17:06Z) - On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials [39.4080639822574]
認証資格は、物理的資格のデジタルアナログである。
検証者に提示して属性を明らかにしたり、クレデンシャルに含まれる属性を述語することも可能だ。
プレゼンテーション中にプライバシを保存する1つの方法は、クレデンシャル内の属性を選択的に開示することである。
論文 参考訳(メタデータ) (2024-01-16T08:22:28Z) - Checking and Automating Confidentiality Theory in Isabelle/UTP [1.1849561189229347]
我々は,プログラム検証の通常の部分として機密性を推し進めるべきであると主張している。
我々は、我々の機械化が銀行の業績からいくつかの例を前もって検証するのにどのように使えるかを示す。
論文 参考訳(メタデータ) (2023-09-07T23:53:33Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳(メタデータ) (2023-02-28T18:58:11Z) - An Analysis of Attention via the Lens of Exchangeability and Latent Variable Models [64.87562101662952]
入力トークンは、位置エンコーディングを含むため、しばしば交換可能であることを示す。
我々は入力トークンの十分かつ最小限の表現の存在を確立する。
所望パラメータの注意が近似誤差まで潜伏した後部を推定することを証明する。
論文 参考訳(メタデータ) (2022-12-30T17:59:01Z) - Cryptography with Certified Deletion [16.354530084834863]
我々は,暗号プリミティブの配列を認証された削除で生成する,新たな統一フレームワークを提案する。
プリミティブは、暗号化された平文が情報理論的に削除されたという古典的な証明書を生成するために、量子暗号文を保有している当事者を許可する。
論文 参考訳(メタデータ) (2022-07-05T00:48:06Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - Quantum multi-factor authentication [0.30458514384586394]
隠れマッチングの量子通信複雑性問題に基づく量子多要素認証機構を提案する。
量子トークンを通じてユーザに対して、段階的なグレード認証を提供する。
論文 参考訳(メタデータ) (2021-10-11T15:12:39Z) - Sample-efficient device-independent quantum state verification and
certification [68.8204255655161]
量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。
我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。
デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
論文 参考訳(メタデータ) (2021-05-12T17:48:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。