論文の概要: Empirical Evaluation of Memory-Erasure Protocols

• arxiv url: http://arxiv.org/abs/2509.10224v1
• Date: Fri, 12 Sep 2025 13:16:02 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-15 16:03:08.096761
• Title: Empirical Evaluation of Memory-Erasure Protocols
• Title（参考訳）: メモリ・エミッションプロトコルの実証評価
• Authors: Reynaldo Gil-Pons, Sjouke Mauw, Rolando Trujillo-Rasua,
• Abstract要約: 本稿では,ソフトウェアベースのメモリ消去プロトコルのセキュリティ,消去保証,性能に関する最初の実証分析について報告する。 以上の結果から,既存のソフトウェアベースのメモリ消去プロトコルは実現可能であるが,遅いデバイスはメモリを消去して消去するのに数秒かかる可能性がある。 端末の計算能力とメモリサイズ,ネットワーク速度,必要なセキュリティレベルによって定義されたすべての経験的設定において,プロトコルが支配的でないことが判明した。
• 参考スコア（独自算出の注目度）: 1.254120224317171
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Software-based memory-erasure protocols are two-party communication protocols where a verifier instructs a computational device to erase its memory and send a proof of erasure. They aim at guaranteeing that low-cost IoT devices are free of malware by putting them back into a safe state without requiring secure hardware or physical manipulation of the device. Several software-based memory-erasure protocols have been introduced and theoretically analysed. Yet, many of them have not been tested for their feasibility, performance and security on real devices, which hinders their industry adoption. This article reports on the first empirical analysis of software-based memory-erasure protocols with respect to their security, erasure guarantees, and performance. The experimental setup consists of 3 modern IoT devices with different computational capabilities, 7 protocols, 6 hash-function implementations, and various performance and security criteria. Our results indicate that existing software-based memory-erasure protocols are feasible, although slow devices may take several seconds to erase their memory and generate a proof of erasure. We found that no protocol dominates across all empirical settings, defined by the computational power and memory size of the device, the network speed, and the required level of security. Interestingly, network speed and hidden constants within the protocol specification played a more prominent role in the performance of these protocols than anticipated based on the related literature. We provide an evaluation framework that, given a desired level of security, determines which protocols offer the best trade-off between performance and erasure guarantees.
• Abstract（参考訳）: ソフトウェアベースのメモリ消去プロトコル (Software-based memory-erasure protocol) は、検証者がコンピュータ装置にそのメモリを消去し、消去の証明を送るように指示する、双方向の通信プロトコルである。 彼らは、安全なハードウェアやデバイスの物理的操作を必要とせず、安全な状態に戻すことで、低コストのIoTデバイスがマルウェアのないことを保証することを目指している。 ソフトウェアベースのメモリ消去プロトコルがいくつか導入され、理論的に分析されている。 しかし、それらの多くは、実際のデバイスにおける実現可能性、パフォーマンス、セキュリティのためにテストされていないため、業界採用を妨げている。 本稿では,ソフトウェアベースのメモリ消去プロトコルのセキュリティ,消去保証,性能に関する最初の実証分析について報告する。 実験的なセットアップは,計算能力の異なる3つの現代的なIoTデバイス,7つのプロトコル,6つのハッシュ関数実装,さまざまなパフォーマンスとセキュリティ基準で構成されている。 以上の結果から,既存のソフトウェアベースのメモリ消去プロトコルは実現可能であるが,遅いデバイスはメモリを消去して消去するのに数秒かかる可能性がある。 端末の計算能力とメモリサイズ,ネットワーク速度,必要なセキュリティレベルによって定義されたすべての経験的設定において,プロトコルが支配的でないことが判明した。 興味深いことに、プロトコル仕様内のネットワーク速度と隠れ定数は、関連する文献に基づいて予測されるよりも、これらのプロトコルの性能においてより顕著な役割を果たした。 所望のセキュリティレベルを前提として、パフォーマンスと消去保証の最良のトレードオフを提供するプロトコルを決定する評価フレームワークを提供する。

関連論文リスト

• ProtocolLLM: RTL Benchmark for SystemVerilog Generation of Communication Protocols [45.66401695351214]
  本稿では,広く使用されているSystemVerilogプロトコルを対象とした最初のベンチマークスイートであるProtocolLLMを紹介する。 我々は,ほとんどのモデルがタイミング制約に従う通信プロトコルのSystemVerilogコードを生成するのに失敗したことを観察する。
  論文  参考訳（メタデータ） (2025-06-09T17:10:47Z)
• ACRIC: Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
  安全クリティカルな業界における最近のセキュリティインシデントは、適切なメッセージ認証の欠如により、攻撃者が悪意のあるコマンドを注入したり、システムの振る舞いを変更することができることを明らかにした。 これらの欠点は、サイバーセキュリティを強化するために圧力をかける必要性を強調する新しい規制を引き起こしている。 我々は,レガシ産業通信をセキュアにするためのメッセージ認証ソリューションであるACRICを紹介する。
  論文  参考訳（メタデータ） (2024-11-21T18:26:05Z)
• A robust and composable device-independent protocol for oblivious transfer using (fully) untrusted quantum devices in the bounded storage model [4.644619667965337]
  本稿では,マジックスクエアデバイスを用いたOtlivious Transfer(OT)のためのデバイス非依存(DI)量子プロトコルを提案する。 DELAYと呼ばれる固定定数(実世界)時間間隔の後、量子状態は完全に解離する。 我々のプロトコルは(ラムダで)正当性とセキュリティ上のエラーを無視でき、NISQ時代に実装できる。
  論文  参考訳（メタデータ） (2024-04-17T11:46:36Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• Software-Based Memory Erasure with relaxed isolation requirements: Extended Version [1.1044979145231115]
  Proof of Secure Erasure (PoSE) は、証明者がそのメモリを消去した証拠を求める通信プロトコルである。 多くのソフトウェアベースのPoSEプロトコルは、プロトコルの実行中にプローバーが分離されていると仮定する。 本稿では,PSEプロトコルの形式モデルを導入し,この文脈でセキュアであることを示す3つのPoSEプロトコルを開発した。
  論文  参考訳（メタデータ） (2024-01-12T15:19:08Z)
• Attestation with Constrained Relying Party [0.7249731529275341]
  我々は,必要な暗号処理やメッセージ処理を含むプロトコルを,コードサイズ6KBで実装可能であることを示す。 必要な暗号やメッセージ処理を含む当社のプロトコルは,コードサイズ6KBで実装可能であり,ProVerifツールによるモデルチェックによるセキュリティ検証が可能であることを示す。
  論文  参考訳（メタデータ） (2023-12-14T13:05:21Z)
• Memory effects in device-dependent and device-independent cryptography [0.0]
  複数のプロトコルインスタンスにわたるデバイスの再利用は、メモリ攻撃に対する脆弱性を導入する可能性がある。 ラウンド間のメモリ効果は、既存の多くの非IID証明技術を適用するのにかなりの困難を引き起こすのに十分である。
  論文  参考訳（メタデータ） (2023-08-15T16:36:31Z)
• Single-photon-memory measurement-device-independent quantum secure direct communication [63.75763893884079]
  量子セキュアダイレクト通信(QSDC)は、量子チャネルを使用して情報を確実かつ安全に送信する。 実用検出器によるセキュリティの抜け穴を取り除くため,測定デバイス非依存(MDI)QSDCプロトコルが提案されている。 高速な量子メモリを不要とする単一光子メモリ MDI QSDC プロトコル (SPMQC) を提案する。
  論文  参考訳（メタデータ） (2022-12-12T02:23:57Z)
• Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees [123.0401978870009]
  ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。 競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。 我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
  論文  参考訳（メタデータ） (2022-05-24T04:03:07Z)
• Twin-field quantum digital signatures [4.503555294002338]
  デジタルシグネチャ(Digital signature)は、情報セキュリティ、特にID認証において重要な技術である。 量子デジタルシグネチャ(QDS)は、情報理論のセキュリティなど、より高度なセキュリティを提供する。
  論文  参考訳（メタデータ） (2020-03-25T08:04:59Z)

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

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