論文の概要: Cryptographic Data Exchange for Nuclear Warheads

• arxiv url: http://arxiv.org/abs/2507.20074v1
• Date: Sat, 26 Jul 2025 22:16:04 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-29 16:23:56.867541
• Title: Cryptographic Data Exchange for Nuclear Warheads
• Title（参考訳）: 核弾頭のための暗号データ交換
• Authors: Neil Perry, Daniil Zhukov,
• Abstract要約: 本稿では,セキュアかつ検証可能な弾頭追跡のための暗号プロトコルを提案する。 核弾頭検証の課題に、侵入的な物理的検査を必要とせずに対処する。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Nuclear arms control treaties have historically focused on strategic nuclear delivery systems, leaving nuclear warheads outside formal verification frameworks. This paper presents a cryptographic protocol for secure and verifiable warhead tracking, addressing challenges in nuclear warhead verification without requiring intrusive physical inspections. Our system leverages commitment schemes and zero-knowledge succinct non-interactive arguments of knowledge (zkSNARKs) to ensure compliance with treaty constraints while preserving the confidentiality of sensitive nuclear warhead data. We propose a cryptographic "Warhead Passport" tracking system that chains commitments to individual warheads over their life cycle, enabling periodic challenges and real-time verification of treaty compliance. Our implementation follows real-world treaty constraints, integrates U.S. and Russian dual-hash combiners (SHA-family & GOST R 34.11 family) for cryptographic robustness and political constraints, and ensures forward security by preventing retroactive data manipulation. This work builds on policy research from prior arms control studies and provides a practical foundation for implementing secure, auditable NSNW verification mechanisms.
• Abstract（参考訳）: 核兵器管理条約は歴史的に戦略的な核配備システムに重点を置いており、核弾頭は公式な検証枠組みから外されている。 本稿では,核弾頭追跡の安全かつ検証可能な暗号プロトコルを提案し,侵入的物理的検査を必要とせず,核弾頭検証の課題に対処する。 本システムでは, 機密核弾頭データの機密性を維持しつつ, 条約制約の遵守を確保するために, コミットメントスキームと知識の非対話的議論(zkSNARKs)を活用する。 本稿では,個別の弾頭へのコミットメントを生涯にわたって連鎖させ,定期的な課題と条約遵守のリアルタイム検証を可能にする暗号的な「ウォーヘッドパスポート」トラッキングシステムを提案する。 我々の実装は、実世界の条約の制約に従い、暗号の堅牢性と政治的制約に対して米国とロシアの二重ハッシュコンバインダー(SHA- family & GOST R 34.11 family)を統合し、レトロアクティブなデータ操作を防止して前方のセキュリティを確保する。 本研究は、従来の武器制御研究からの政策研究に基づいており、安全で監査可能なSNW検証機構を実装するための実践的基盤を提供する。

関連論文リスト

• Generative AI-Empowered Secure Communications in Space-Air-Ground Integrated Networks: A Survey and Tutorial [107.26005706569498]
  宇宙航空地上統合ネットワーク(SAGIN)は、その特性上、前例のないセキュリティ上の課題に直面している。 Generative AI(GAI)は、データを合成し、セマンティクスを理解し、自律的な決定を行うことで、SAGINセキュリティを保護できる変革的アプローチである。
  論文  参考訳（メタデータ） (2025-08-04T01:42:57Z)
• Beyond Algorithmic Proofs: Towards Implementation-Level Provable Security [1.338174941551702]
  我々は,実世界の攻撃面に対して構造的に検証可能なレジリエンスの観点からセキュリティを定義する新しいパラダイムである,実装レベル確率セキュリティを提案する。 本稿では,ファイル破壊システムであるSEER(Secure and Efficient Encryption-based Erasure via Ransomware)について述べる。
  論文  参考訳（メタデータ） (2025-08-02T01:58:06Z)
• Provably Secure Retrieval-Augmented Generation [7.412110686946628]
  本稿では,RAG(Retrieval-Augmented Generation)システムのための,信頼性の高い最初のフレームワークを提案する。 我々のフレームワークは、検索したコンテンツとベクトル埋め込みの両方の二重保護を保証するために、プレストレージのフル暗号化方式を採用している。
  論文  参考訳（メタデータ） (2025-08-01T21:37:16Z)
• Formal Verification of Neural Certificates Done Dynamically [7.146556437126553]
  本稿では,リアルタイム検証を統合した軽量なランタイム監視フレームワークを提案する。 提案手法は,安全性違反や不正証明書を最小限のオーバーヘッドでタイムリーに検出することを可能にする。
  論文  参考訳（メタデータ） (2025-07-16T07:37:23Z)
• Toward a Global Regime for Compute Governance: Building the Pause Button [0.4952055253916912]
  計算資源へのアクセスを制限することにより,AIシステムのトレーニングを防止するためのガバナンスシステムを提案する。 技術的、トレーサビリティ、規制という3つの重要な介入ポイントを特定し、それらをガバナンス-執行-検証フレームワークにまとめます。 技術的メカニズムとしては、改ざん防止FLOPキャップ、モデルロック、オフラインライセンスなどがある。
  論文  参考訳（メタデータ） (2025-06-25T15:18:19Z)
• CANTXSec: A Deterministic Intrusion Detection and Prevention System for CAN Bus Monitoring ECU Activations [53.036288487863786]
  物理ECUアクティベーションに基づく最初の決定論的侵入検知・防止システムであるCANTXSecを提案する。 CANバスの古典的な攻撃を検知・防止し、文献では調査されていない高度な攻撃を検知する。 物理テストベッド上での解法の有効性を実証し,攻撃の両クラスにおいて100%検出精度を達成し,100%のFIAを防止した。
  論文  参考訳（メタデータ） (2025-05-14T13:37:07Z)
• Balancing Confidentiality and Transparency for Blockchain-based Process-Aware Information Systems [43.253676241213626]
  機密性と透明性を維持するために,ブロックチェーンベースのPAISアーキテクチャを提案する。 スマートコントラクトは公開インタラクションを制定、強制、保存し、属性ベースの暗号化技術は機密情報へのアクセス許可を指定するために採用されている。 システム的脅威モデル解析によりソリューションの安全性を評価し,その実用性を評価する。
  論文  参考訳（メタデータ） (2024-12-07T20:18:36Z)
• ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
  安全クリティカルな業界における最近のセキュリティインシデントは、適切なメッセージ認証の欠如により、攻撃者が悪意のあるコマンドを注入したり、システムの振る舞いを変更することができることを明らかにした。 これらの欠点は、サイバーセキュリティを強化するために圧力をかける必要性を強調する新しい規制を引き起こしている。 我々は,レガシ産業通信をセキュアにするためのメッセージ認証ソリューションであるACRICを紹介する。
  論文  参考訳（メタデータ） (2024-11-21T18:26:05Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• The Evolution of Quantum Secure Direct Communication: On the Road to the Qinternet [49.8449750761258]
  量子セキュア直接通信(QSDC)は、確実に安全であり、量子コンピューティングの脅威を克服する。 関連するポイントツーポイント通信プロトコルについて詳述し、情報の保護と送信方法を示す。
  論文  参考訳（メタデータ） (2023-11-23T12:40:47Z)
• Quantum Key Distribution for Critical Infrastructures: Towards Cyber Physical Security for Hydropower and Dams [0.4166512373146748]
  水力施設は、しばしば中央の遠隔操作室から遠隔で監視または制御される。 通信は、インターネットを使って施設の制御システムを遠隔操作したり、制御室から機械にネットワーク経由で制御コマンドを送信する。 コンテンツは公開鍵を使って暗号化され、復号化され、通信された情報を保護する。 対照的に、量子鍵分布(QKD)は計算問題に基づいておらず、従来の公開鍵暗号に代わるものである。
  論文  参考訳（メタデータ） (2023-10-19T18:59:23Z)
• Nuclear Arms Control Verification and Lessons for AI Treaties [0.0]
  AIによるセキュリティリスクは、この技術が利用できるという国際的な合意を動機付けている。 この研究は、想定されるケースは核兵器の制御でうまく管理されたレベルに縮小されることを示唆している。
  論文  参考訳（メタデータ） (2023-04-08T23:05:24Z)
• Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
  CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。 次に、結果の安全制御器のポイントワイズ実現可能性条件を示す。 これらの条件を利用して、イベントトリガーによるオンラインデータ収集戦略を考案する。
  論文  参考訳（メタデータ） (2022-08-23T05:02:09Z)
• Safe Reinforcement Learning via Confidence-Based Filters [78.39359694273575]
  我々は,標準的な強化学習技術を用いて学習した名目政策に対して,国家安全の制約を認定するための制御理論的アプローチを開発する。 我々は、正式な安全保証を提供し、我々のアプローチの有効性を実証的に実証する。
  論文  参考訳（メタデータ） (2022-07-04T11:43:23Z)
• Modulation leakage-free continuous-variable quantum key distribution [1.8268488712787332]
  コヒーレント状態に基づく連続可変(CV)QKDはセキュア通信のための魅力的なスキームである。 この研究は、CVQKDシステムを保護するためのステップである。
  論文  参考訳（メタデータ） (2022-05-15T10:07:19Z)

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

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