論文の概要: On the Formalization of Cryptographic Migration

• arxiv url: http://arxiv.org/abs/2408.05997v3
• Date: Fri, 17 Jan 2025 10:23:13 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-20 13:56:57.015034
• Title: On the Formalization of Cryptographic Migration
• Title（参考訳）: 暗号マイグレーションの形式化について
• Authors: Daniel Loebenberger, Stefan-Lukas Gazdag, Daniel Herzinger, Eduard Hirsch, Christian Näther, Jan-Philipp Steghöfer,
• Abstract要約: ポスト量子暗号(PQC)は、現代の信頼性のあるインフラシステムのセキュリティを維持するためにますます重要になりつつある。 本稿では,暗号マイグレーション問題の構造に関する知見を得るための新しいアプローチを提案する。
• 参考スコア（独自算出の注目度）: 2.4739484546803334
• License:
• Abstract: With the advancement of quantum computing, the transition to post-quantum cryptography (PQC) is becoming increasingly critical to maintain the security of modern dependable infrastructural systems. This paper presents a novel approach to gain insight into the structure of cryptographic migration problems, using a semi-formal model to capture the inherent dependencies and complexities of such transitions. Using classical mathematical results from combinatorics, probability theory, and combinatorial analysis, we assess the challenges of migrating large cryptographic IT-infrastructures and prove that -- in a suitable sense -- cryptographic migration has a certain expected complexity. Furthermore, we analyze the proposed model in terms of real-world patterns as well as its practical applicability, and discuss difficulties that arise when trying to model real-world migration projects. This work sets the stage for future advances in both the theoretical understanding and practical implementation of cryptographic migration strategies in the post-quantum era.
• Abstract（参考訳）: 量子コンピューティングの進歩に伴い、ポスト量子暗号(PQC)への移行は、現代の信頼性のあるインフラシステムのセキュリティを維持するためにますます重要になっている。 本稿では、半形式モデルを用いて、暗号移行問題の構造に関する洞察を得るための新しいアプローチを提案する。 組合せ論、確率論、組合せ分析の古典的な数学的結果を用いて、大規模な暗号ITインフラ構造を移行することの難しさを評価し、適切な意味では、暗号マイグレーションが一定の複雑さを持っていることを証明します。 さらに,提案手法を実世界のパターンと実用性の観点から分析し,実世界のマイグレーションプロジェクトをモデル化しようとする際の課題について議論する。 この研究は、後量子時代における暗号マイグレーション戦略の理論的理解と実践的実装における将来の進歩の舞台となる。

関連論文リスト

• 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)

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

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