論文の概要: AMORT-V1: Checkpointed Post-Quantum Attestation for Industrial Controllers
- arxiv url: http://arxiv.org/abs/2611.07476v1
- Date: Thu, 05 Nov 2026 05:34:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-06 21:50:50.556092
- Title: AMORT-V1: Checkpointed Post-Quantum Attestation for Industrial Controllers
- Title（参考訳）: AMORT-V1:産業用コントローラの量子後のチェックポイント
- Abstract要約: AMORT-V1は、公開鍵署名と耐久性のあるコミットメントを個々のレポートから定期的なチェックポイントに移動させる。
Checkpointingは、堅牢なロギングなしで、レポート毎のML-DSAに対して、コントローラのコストを90倍削減する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Programmable logic controllers often remain deployed for decades, making post-quantum attestation a long-term requirement. Prior measurements of OpenPLC attestation show that post-quantum signing can consume 88--99% of round-trip latency and that durable state can further limit throughput. We introduce AMORT-V1, a checkpointed attestation protocol that moves public-key signing and durable commitment from individual reports to periodic checkpoints. An ML-KEM epoch establishes per-device evidence keys, devices authenticate reports with MACs, and the controller commits ordered evidence through hash-chained Merkle checkpoints signed with ML-DSA or SLH-DSA. Because shared MACs do not provide transferable proof of device origin, AMORT-V1 adds a device-held disclosure chain whose keys are released after checkpoint commitment. We validate the protocol with a 27-case attack matrix, 149 differential-test vectors, and a seven-node Raspberry Pi 5 testbed with five physical OpenPLC provers. Checkpointing reduces controller cost by 90 times relative to per-report ML-DSA without durable logging and by 878 times when durable logging is required. Transferable device-origin verification costs 2.95micro sec per report, while controller-side scaling to 10,000 identities requires 6.18 micro sec and 155 octets per report. AMORT-V1 also supports rollback-resistant restart through TPM-backed monotonic state without placing durable hardware operations on the per-report path.
- Abstract（参考訳）: プログラム可能なロジックコントローラは何十年もデプロイされ続け、量子後証明は長期的要件となる。
OpenPLCアテストの以前の測定によると、クォータ後の署名は88～99%のラウンドトリップ遅延を消費し、耐久性のある状態はスループットをさらに制限できる。
AMORT-V1は、公開鍵署名と耐久性のあるコミットメントを個別のレポートから定期的なチェックポイントへ移行するチェックポイント検定プロトコルである。
ML-KEMエポックはデバイス毎のエビデンスキーを確立し、デバイスはMACで報告を認証し、コントローラはML-DSAまたはSLH-DSAと署名されたハッシュチェーンのメルクルチェックポイントを通じて命令されたエビデンスをコミットする。
共有MACはデバイス起源の転送可能な証明を提供しないため、AMORT-V1はチェックポイントコミット後にキーが解放されたデバイス内蔵の開示チェーンを追加する。
提案プロトコルは,27ケースの攻撃行列,149個の差分試験ベクトル,および5つの物理OpenPLCプローバーを用いた7ノードRaspberry Pi 5を用いて検証した。
Checkpointingは、耐久性のあるロギングを必要とせずに、レポート毎のML-DSAの90倍のコスト削減と、耐久性のあるロギングが必要な場合の878倍のコスト削減を実現する。
転送可能なデバイスオリジン認証は1レポートあたり2.95マイクロ秒、コントローラ側のスケーリングは1万単位に6.18マイクロ秒と155オクテットを必要とする。
AMORT-V1はまた、TPMが支援する単調状態によるロールバック耐性の再起動もサポートしている。
関連論文リスト
- Benchmarking Unsupervised Jamming Detection in 5G Open RAN [42.727584386619895]
電波周波数(RF)ジャミングは第5世代(5G)ネットワークを脅かす。
本稿では統計的および再構成に基づく教師なしジャミング検出器のベンチマークを行う。
SEMは、F1ランキングと整合して、すべての環境で第1位にランクインする。
論文 参考訳（メタデータ） (2026-11-03T05:58:35Z) - Trust Mechanisms for Offline Generative AI at the Edge: A Connectivity-Regime Framework and an Empirical Study on a Raspberry Pi 5 [45.88028371034407]
ジェネレーティブAIと大規模言語モデル(LLM)がモノのインターネットに移行しつつある。
ほとんどのデプロイメントはクラウド接続を前提としており、多くのIoT設定は断続的、制限的、あるいは接続不能である。
提案するコネクティビティ・レジーム・フレームワーク (C0-C4) は, 推論時信頼機構の分類法であり, 署名されたバージョン付き知識パックである。
論文 参考訳（メタデータ） (2026-10-24T15:23:25Z) - Spectrum of Liability: Forensically Sound Acquisition of Wireless Evidence for the Reconstruction of Maritime Cyber-Physical Incidents [44.00360080975938]
本稿では,上流の無線証拠と,それを解釈するのに必要となる最小限の同時文脈を同時に保存する法医学的健全な取得手法を提案する。
本システムでは,時刻整合レシーバと機器状態のメタデータを同時に収集しながら,関連バンド間のコヒーレントなマルチチャネルIQを記録する。
独立して記録を監査できるようにするため、サンプルとメタデータを1つの追加のみの法定封筒にまとめる。
論文 参考訳（メタデータ） (2026-10-18T17:09:31Z) - QIAP: A Quantum-Inspired Authentication Protocol with BB84-Based Channel Monitoring [2.2693646792532856]
ステートフルなハイブリッドフレームワークQIAPは、コミットメントベースのチャレンジレスポンス認証とBB84ベースの量子チャネル監視を組み合わせる。
1枝につき1000件の不正秘密試験で認証は成功しなかった。
その結果,QIAPは秘密ベースの身元認証とQBERに基づくチャネル障害評価を併用する軽量なフレームワークを提供することができた。
論文 参考訳（メタデータ） (2026-10-12T03:40:17Z) - hacktrace: behavior-supervised detection of reward hacking during code generation [52.709361620508595]
コーディングエージェントは、コードを修正するか、バグを露呈するテストを削除することで、パスグレードを得ることができる。
我々はQwen3-8Bから173,561個の注釈付きマルチターン符号化トラジェクトリをリリースし、成功を活かさないショートカット動作の監視が検出を大幅に改善することを示す。
HACKTRACEは、エージェントがコードを生成する際に既に計算している内部状態を読み取る行動監視モニターである。
論文 参考訳（メタデータ） (2026-10-02T09:35:59Z) - SILK: Closing the Time-of-Check-to-Time-of-Use Gap in RoT-Protected AI Systems [1.082233332885939]
SILK(Streaming Inline Lightweight Keying)は、最終的な事前計算境界における重みストリームを検証する、その場での整合性メカニズムである。
軽量ストリーミングチェッカーは、認証タグを分離せずにこれらのチェックを再計算し、コミットゲーティングを使用して、未検証の重み付けが計算エンジンに到達するのを防ぐ。
論文 参考訳（メタデータ） (2026-08-26T21:06:34Z) - A Lightweight Post-Quantum Authentication Framework for 5G Base Station Bootstrapping [10.889502556532639]
EMULSION(エミュレーション)は、5Gブロードキャスト認証のための対称チェインで公に検証可能な認証フレームワークである。
ML-DSAよりも33倍、通信オーバーヘッドが31倍、12倍、FN-DSAより5.4倍少ない。
我々は、EMULSIONのセキュリティを正式に証明し、公開テストと適応のための実装をオープンソース化する。
論文 参考訳（メタデータ） (2026-06-29T16:42:16Z) - SENTRY: SAM2-Enhanced Neighbor-Aware and Temporally Reasoned Memory for Visual Tracking [39.49925011934288]
SAM2ベースのビジュアルオブジェクトトラッキングにおけるメモリ更新機構を再検討する。
本稿では,SENTRYについて紹介する。
コミットする前に、各メモリ更新を短時間の時間的一貫性で検証する。
論文 参考訳（メタデータ） (2026-06-23T11:35:15Z) - A Protocol-Aware P4 Pipeline for MQTT Security and Anomaly Mitigation in Edge IoT Systems [0.8481798330936976]
クラウドベースの侵入検知システムは、リアルタイム制御には適さないレイテンシを追加する。
本稿では,ネットワークエッジにおけるプロトコル対応セキュリティと異常検出のためのデータプレーン適用方式を提案する。
Mininet/BMv2テストベッドの実験では、政策執行精度99.8%、95%CI以内)、強い異常検出感度98%(真陽性率)、100秒5kppsの高品位99.9%(高品位99.9%)が示されている。
論文 参考訳（メタデータ） (2026-01-12T13:38:59Z) - Single-photon-memory measurement-device-independent quantum secure
direct communication [63.75763893884079]
量子セキュアダイレクト通信(QSDC)は、量子チャネルを使用して情報を確実かつ安全に送信する。
実用検出器によるセキュリティの抜け穴を取り除くため,測定デバイス非依存(MDI)QSDCプロトコルが提案されている。
高速な量子メモリを不要とする単一光子メモリ MDI QSDC プロトコル (SPMQC) を提案する。
論文 参考訳（メタデータ） (2022-12-12T02:23:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。