論文の概要: Cryptographic Data Exchange for Nuclear Warheads
- arxiv url: http://arxiv.org/abs/2507.20074v2
- Date: Wed, 03 Sep 2025 18:19:58 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-05 14:03:58.876231
- Title: Cryptographic Data Exchange for Nuclear Warheads
- Title（参考訳）: 核弾頭のための暗号データ交換
- Authors: Neil Perry, Daniil Zhukov,
- Abstract要約: 本稿では,セキュアかつ検証可能な弾頭追跡のための暗号プロトコルを提案する。
本稿では, 個々の弾頭へのコミットメントをライフサイクル上で連鎖する暗号的な「ウォーヘッド・パスポート」トラッキングシステムを提案する。
- 参考スコア（独自算出の注目度）: 1.4323566945483497
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Nuclear arms control treaties have historically focused on strategic nuclear delivery systems, indirectly restricting strategic nuclear warhead numbers and leaving nonstrategic nuclear warheads (NSNWs) 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 and 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（参考訳）: 核兵器管理条約は歴史的に、戦略核弾頭番号を間接的に制限し、非戦略核弾頭(NSNW)を正式な検証枠組み外に置く戦略核弾頭システムに重点を置いてきた。
本稿では,核弾頭追跡の安全かつ検証可能な暗号プロトコルを提案し,侵入的物理的検査を必要とせず,核弾頭検証の課題に対処する。
本システムでは, 機密核弾頭データの機密性を維持しつつ, 条約制約の遵守を確保するために, コミットメントスキームと知識の非対話的議論(zkSNARKs)を活用する。
本稿では,個別の弾頭へのコミットメントを生涯にわたって連鎖させ,定期的な課題と条約遵守のリアルタイム検証を可能にする暗号的な「ウォーヘッドパスポート」トラッキングシステムを提案する。
我々の実装は、実世界の条約の制約に従い、暗号の堅牢性と政治的制約に対して米国とロシアの二重ハッシュコンバインダー(SHA- familyおよびGOST R 34.11 family)を統合し、レトロアクティブなデータ操作を防止して前方のセキュリティを確保する。
本研究は、従来の武器制御研究からの政策研究に基づいており、安全で監査可能なSNW検証機構を実装するための実践的基盤を提供する。
関連論文リスト
- Quantum Attacks Targeting Nuclear Power Plants: Threat Analysis, Defense and Mitigation Strategies [1.2891210250935148]
本稿では,高連続環境における量子レジリエンスを実現するための法医学第一の枠組みを提案する。
我々は、Harvest-Now, Decrypt-Later(HNDL)キャンペーンが、暗号基盤を遡及的に妥協し、証拠の許容性を弱め、洗練されたサボタージュを促進する方法を示す。
我々は、PQC(Post-Quantum Cryptography)へのフェーズド・ディフェンス・イン・ディープス・マイグレーションパスを提案し、検証する。
論文は、量子レジリエント制御の急激な導入なしに、物理的安全システムとデジタル法医学的証拠の整合性は、依然として深刻で不可逆的なリスクを伴っていると結論付けている。
論文 参考訳（メタデータ） (2026-02-25T03:26:09Z) - ORCA -- An Automated Threat Analysis Pipeline for O-RAN Continuous Development [57.61878484176942]
Open-Radio Access Network (O-RAN)は、多くのソフトウェアコンポーネントをクラウドのようなデプロイメントに統合し、これまで考えられていなかったセキュリティ脅威に無線アクセスネットワークを開放する。
現在の脆弱性評価の実践は、しばしば手動、労働集約、主観的な調査に依存しており、脅威分析の不整合につながる。
人間の介入や関連するバイアスを最小限に抑えるために,自然言語処理(NLP)を活用する自動パイプラインを提案する。
論文 参考訳（メタデータ） (2026-01-20T07:31:59Z) - Multi-Agent-Driven Cognitive Secure Communications in Satellite-Terrestrial Networks [58.70163955407538]
悪意のある盗聴者は衛星地上ネットワーク(STN)を介して個人情報に深刻な脅威をもたらす
リアルタイムセンシングによりスペクトルスケジューリングと保護を協調する複数のエージェントによって駆動される認知セキュア通信フレームワークを提案する。
我々は、生成した対向ネットワークを利用して対向行列を生成し、学習支援電力制御を用いて、実及び対向信号のパワーを保護層に設定する。
論文 参考訳（メタデータ） (2026-01-06T10:30:41Z) - Byzantine-Robust Federated Learning Framework with Post-Quantum Secure Aggregation for Real-Time Threat Intelligence Sharing in Critical IoT Infrastructure [0.0]
IoTセキュリティに対する従来のフェデレートされた学習アプローチは、ビザンチン攻撃に対する感受性と、将来の量子コンピューティングの脅威に対する不適切な2つの重大な脆弱性に悩まされている。
本稿では,ポスト・クォータム・セキュアアグリゲーションと統合されたビザンチン・ロバスト・フェデレーション学習フレームワークを提案する。
提案フレームワークは,適応重み付けアグリゲーション機構と格子ベースの暗号プロトコルを組み合わせることで,モデル中毒攻撃や量子敵に対する防御を同時に行う。
論文 参考訳（メタデータ） (2026-01-03T03:13:46Z) - Quantum-Resistant Authentication Scheme for RFID Systems Using Lattice-Based Cryptography [8.236194998741565]
高周波識別(RFID)システムのための新しい量子耐性相互認証方式を提案する。
本手法は格子ベースの暗号を用いており,特に不均一な短整数解(ISIS)問題の硬さを利用して量子抵抗を実現する。
本稿では,RFIDシステムにおいて,読取側通信チャネルとタグリーダ通信チャネルの両方の安全性に包括的に対処する最初の量子耐性認証プロトコルである。
論文 参考訳（メタデータ） (2025-11-25T18:49:29Z) - zkSTAR: A zero knowledge system for time series attack detection enforcing regulatory compliance in critical infrastructure networks [0.9558392439655014]
産業制御システム(ICS)は、重要なインフラネットワークの運用のバックボーンを形成する。
規制当局は、システム全体のセキュリティと信頼性を確保するために、より厳格なコンプライアンス要件を課している。
中心的な課題は、機密性の高い運用データを開示するユーティリティを必要とせずに、規制当局が検出メカニズムの有効性を検証することである。
我々は、zk-SNARKを利用してこれらの要求を調整し、証明可能な検出保証を可能にするサイバー攻撃検出フレームワークであるzkSTARを紹介する。
論文 参考訳（メタデータ） (2025-10-27T06:45:11Z) - Never Compromise to Vulnerabilities: A Comprehensive Survey on AI Governance [211.5823259429128]
本研究は,本質的セキュリティ,デリバティブ・セキュリティ,社会倫理の3つの柱を中心に構築された,技術的・社会的次元を統合した包括的枠組みを提案する。
我々は,(1)防衛が進化する脅威に対して失敗する一般化ギャップ,(2)現実世界のリスクを無視する不適切な評価プロトコル,(3)矛盾する監視につながる断片的な規制,の3つの課題を特定する。
私たちのフレームワークは、研究者、エンジニア、政策立案者に対して、堅牢でセキュアなだけでなく、倫理的に整合性があり、公的な信頼に値するAIシステムを開発するための実用的なガイダンスを提供します。
論文 参考訳（メタデータ） (2025-08-12T09:42:56Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。