論文の概要: Formalizing the Cryptographic Migration Problem

• arxiv url: http://arxiv.org/abs/2408.05997v2
• Date: Wed, 4 Sep 2024 11:24:39 GMT
• ステータス: 処理完了
• システム内更新日: 2024-09-06 19:18:56.604022
• Title: Formalizing the Cryptographic Migration Problem
• Title（参考訳）: 暗号マイグレーション問題の定式化
• Authors: Daniel Loebenberger, Stefan-Lukas Gazdag, Daniel Herzinger, Eduard Hirsch, Christian Näther, Jan-Philipp Steghöfer,
• Abstract要約: 量子後暗号への移行は、現代のシステムのセキュリティを維持するためにますます重要になっている。 本稿では,暗号マイグレーション問題の形式的定義を紹介し,その複雑さを適切な有向グラフモデルを用いて検討する。
• 参考スコア（独自算出の注目度）: 2.4739484546803334
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: With the advancements in quantum computing, transitioning to post-quantum cryptography is becoming increasingly critical to maintain the security of modern systems. This paper introduces a formal definition of the cryptographic migration problem and explores its complexities using a suitable directed graph model. Characteristics of the resulting migration graphs are analyzed and trade-offs discussed. By using classical mathematical results from combinatorics, probability theory and combinatorial analysis, we assess the challenges of migrating ``random'' large cryptographic IT-infrastructures. We show that any sufficiently large migration project that follows our model has an intrinsic complexity, either due to many dependent (comparatively easy) migration steps or due to at least one complicated migration step. This proves that in a suitable sense cryptographic migration is hard in general. Furthermore, we analyze the proposed model with respect to practical applicability and explain the difficulties that emerge when we try to model real-world migration projects.
• Abstract（参考訳）: 量子コンピューティングの進歩に伴い、量子後暗号への移行は、現代のシステムのセキュリティを維持するためにますます重要になっている。 本稿では,暗号マイグレーション問題の形式的定義を紹介し,その複雑さを適切な有向グラフモデルを用いて検討する。 得られたマイグレーショングラフの特徴を解析し、トレードオフを議論する。 組合せ論,確率論,組合せ解析の古典的な数学的結果を用いて,<random'の大規模暗号ITインフラの移行の課題を評価する。 我々のモデルに従う十分な大規模なマイグレーションプロジェクトは、多くの依存的な(比較的容易な)マイグレーションステップや、少なくとも1つの複雑なマイグレーションステップのため、本質的に複雑であることを示す。 このことは、適切な意味での暗号マイグレーションが一般的に難しいことを証明している。 さらに,実世界のマイグレーションプロジェクトをモデル化しようとする際に生じる課題について,実際の適用性に関して,提案したモデルを分析した。

関連論文リスト

• Bridging Visualization and Optimization: Multimodal Large Language Models on Graph-Structured Combinatorial Optimization [56.17811386955609]
  グラフ構造上の課題は、その非線形で複雑な性質のために本質的に困難である。 本研究では,高次構造的特徴を正確に保存するために,グラフを画像に変換する手法を提案する。 マルチモーダルな大規模言語モデルと単純な検索手法を組み合わせた革新的なパラダイムを生かし、新しい効果的なフレームワークを開発することを目指す。
  論文  参考訳（メタデータ） (2025-01-21T08:28:10Z)
• Implementing Semiclassical Szegedy Walks in Classical-Quantum Circuits for Homomorphic Encryption [0.0]
  量子ホモモルフィック暗号化(QHE)は、基礎となる情報を明らかにすることなく、量子データのセキュアな計算を容易にする新興技術である。 我々は、古典量子回路を通してQHEスキームを解釈し、効率を向上し、鍵計算に関連する以前の制限に対処する。 提案手法は,シミュレーション中に鍵をリアルタイムに計算することで指数的鍵準備の必要性を排除し,古典的に制御されたゲートの線形複雑化につながる。
  論文  参考訳（メタデータ） (2024-12-02T20:50:48Z)
• Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
  d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか? 我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。 我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
  論文  参考訳（メタデータ） (2024-08-22T08:21:28Z)
• The Foundations of Tokenization: Statistical and Computational Concerns [51.370165245628975]
  トークン化は、NLPパイプラインにおける重要なステップである。 NLPにおける標準表現法としての重要性は認識されているが、トークン化の理論的基盤はまだ完全には理解されていない。 本稿では,トークン化モデルの表現と解析のための統一的な形式的枠組みを提案することによって,この理論的ギャップに対処することに貢献している。
  論文  参考訳（メタデータ） (2024-07-16T11:12:28Z)
• ALPINE: Unveiling the Planning Capability of Autoregressive Learning in Language Models [48.559185522099625]
  計画は人間の知性と現代大言語モデル(LLM)の両方の重要な要素である 本稿では,トランスフォーマーを用いたLLMにおける次の単語予測機構による計画能力の出現について検討する。
  論文  参考訳（メタデータ） (2024-05-15T09:59:37Z)
• It Is Time To Steer: A Scalable Framework for Analysis-driven Attack Graph Generation [50.06412862964449]
  アタックグラフ(AG)は、コンピュータネットワークに対するマルチステップ攻撃に対するサイバーリスクアセスメントをサポートする最も適したソリューションである。 現在の解決策は、アルゴリズムの観点から生成問題に対処し、生成が完了した後のみ解析を仮定することである。 本稿では,アナリストがいつでもシステムに問い合わせることのできる新しいワークフローを通じて,従来のAG分析を再考する。
  論文  参考訳（メタデータ） (2023-12-27T10:44:58Z)
• Lattice real-time simulations with learned optimal kernels [49.1574468325115]
  本稿では、強化学習にインスパイアされた量子場のリアルタイムダイナミクスのシミュレーション戦略を提案する。 複雑なLangevinアプローチに基づいて構築され、システム固有の事前情報で修正される。
  論文  参考訳（メタデータ） (2023-10-12T06:01:01Z)
• A Framework for Migrating to Post-Quantum Cryptography: Security Dependency Analysis and Case Studies [3.890207460112498]
  暗号は 何十年にもわたって 安全だと考えられてきたが 今は 危険にさらされている 量子耐性暗号システムへの移行は急務である。 この移行を支援するための包括的枠組みを提示する。
  論文  参考訳（メタデータ） (2023-07-13T01:51:15Z)
• Enhancing SMT-based Weighted Model Integration by Structure Awareness [10.812681884889697]
  重み付きモデル統合(WMI)は、ハイブリッドドメインにおける確率的推論の統一形式として登場した。 本研究では,SMTに基づく列挙法と問題構造を効果的に符号化するアルゴリズムを開発した。
  論文  参考訳（メタデータ） (2023-02-13T08:55:12Z)
• Reflection Equivariant Quantum Neural Networks for Enhanced Image Classification [0.7232471205719458]
  我々は、データに固有の対称性を明示的に尊重する新しい機械学習モデル、いわゆる幾何量子機械学習(GQML)を構築した。 これらのネットワークは、複雑な実世界の画像データセットに対する一般的なアンサーゼを一貫して、そして著しく向上させることができる。
  論文  参考訳（メタデータ） (2022-12-01T04:10:26Z)
• SMT-based Weighted Model Integration with Structure Awareness [18.615397594541665]
  本研究では,SMTに基づく列挙法と問題構造を効果的に符号化するアルゴリズムを開発した。 これにより,冗長モデルの生成を回避し,計算コストを大幅に削減できる。
  論文  参考訳（メタデータ） (2022-06-28T09:46:17Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。