論文の概要: Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
- arxiv url: http://arxiv.org/abs/2610.09817v1
- Date: Wed, 07 Oct 2026 10:40:16 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-08 21:58:22.855798
- Title: Hierarchical Security Monitoring for Edge-IoT: A Formal Methods Approach
- Title（参考訳）: Edge-IoTの階層的セキュリティ監視 - 形式的手法アプローチ
- Abstract要約: エッジIoTデプロイメントにおけるサイバーレジリエンスは、基本的に経済的問題です。
軽量な階層型セキュリティ監視フレームワークを提案する。
我々は,コンテナホストテストベッド上で,名目および攻撃ノードにまたがるフレームワークの評価を行った。
- 参考スコア（独自算出の注目度）: 0.3908906925636173
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Cyber resiliency in edge-IoT deployments is fundamentally an economic problem: detection must keep critical processes operating under attack, but defender resources (compute, bandwidth, operator attention) are bounded. Centralised cloud monitoring offers expressive cross-device detection at prohibitive bandwidth cost; purely edge-local monitoring is cheap but blind to coordinated multi-device attacks where the asymmetric balance favours the attacker. We propose a lightweight hierarchical security-monitoring framework, built on formal runtime-verification methods, that occupies the practical middle ground at quantified cost. Each edge device runs a lightweight TeSSLa stream specification (size, payload validity, rate, and timestamp-drift predicates) that emits a four-valued verdict per aggregation window at sub-microsecond per-event cost; the gateway runs a parametric first-order MonPoly monitor over the per-device verdict streams at microsecond-scale per-verdict cost. The edge-to-gateway uplink carries roughly one Boolean per aggregation window per node, orders of magnitude smaller than the raw packet stream. The gateway tier detects coordinated attack patterns that no single-node monitor can see, shifting the asymmetric cost balance toward the defender. Every alert carries a witness set naming the device, the monitor tier, and the predicate that fired, providing an auditable record of the decision. We evaluate the framework on a container-host testbed spanning nominal and attacker nodes across four attack classes (buffer overflow, time spoofing, denial-of-service, and mixed advanced-persistent-threat patterns), and describe the edge- and gateway-tier specifications together with the cost-versus-coverage trade-off as monitor levels are added.
- Abstract（参考訳）: エッジIoTデプロイメントにおけるサイバーレジリエンスは、基本的には経済的問題である – 検出は重要なプロセスを攻撃下で動作させなければならないが、ディフェンダリソース(計算量、帯域幅、オペレータの注意)はバウンダリである。
純粋なエッジローカル監視は安価だが、非対称バランスが攻撃者を好むような、協調されたマルチデバイス攻撃には盲目である。
本稿では,形式的な実行時検証手法に基づく軽量な階層型セキュリティ監視フレームワークを提案する。
各エッジデバイスは、軽量なTeSSLaストリーム仕様(サイズ、ペイロードの妥当性、レート、タイムスタンプドリフトの述語)を実行し、アグリゲーションウィンドウ毎に4つの値のバリデーションをサブマイクロ秒のコストで出力する。
エッジ・トゥ・ゲートウェイ・アップリンクは、ノード毎のアグリゲーション・ウィンドウ1つあたり約1つ、生のパケット・ストリームよりも桁違いに小さいBooleanを格納する。
ゲートウェイ層は、単一ノードモニタが見ることができない調整された攻撃パターンを検出し、非対称なコストバランスをディフェンダーにシフトさせる。
すべてのアラートには、デバイスを命名した目撃者セット、監視層、および解雇された述語が含まれ、決定の監査可能な記録を提供する。
筆者らは,4つの攻撃クラス(バッファオーバーフロー,時間スプーフィング,サービス拒否,および混合先進的脅威パターン)にまたがる,名目と攻撃ノードにまたがるコンテナホストテストベッド上でのフレームワークの評価を行い,監視レベルとしてコスト対効果のトレードオフを伴ってエッジ層とゲートウェイ層仕様を記述した。
関連論文リスト
- Hybrid Hierarchical Runtime Verification for Edge-IoT Security: Combining MonPoly and RTLola [0.37475012732344193]
エッジIoTフリートのセキュリティ監視には,3つの構造上の課題がある。
ノードごとのモニターは安価だが、デバイス間で協調する攻撃を見ることはできない。
クラウドモニタはフルフリートを見るが、帯域幅でそのビューを支払う。
論文 参考訳（メタデータ） (2026-10-07T10:49:57Z) - Out of Sync, Out of Sight: Phantom State Attacks against IIoT Intrusion Detection [1.669532546126409]
機械学習に基づく侵入検知システムは、産業用IoT(Internet of Things)環境の確保に不可欠である。
我々は、パッシブ・ゼロ・クエリ・脅威モデルの下で依存を利用するPhantom State Attack (PSA)を導入する。
ToN-IoTとCIC IIoT 2025(DataSense)のPSAをランダムフォレストとXGBoostに対して評価し,検出劣化,同期歪み,盗み,攻撃コストを測定した。
論文 参考訳（メタデータ） (2026-10-01T22:36:34Z) - $D^2$-Monitor: Dynamic Safety Monitoring for Diffusion LLMs via Hesitation-Aware Routing [63.49501120848927]
大規模言語モデル(D-LLM)の安全性監視はほとんど未検討である。
D-LLMの2レベル安全モニタであるD2$-Monitorを提案する。
D2$-Monitorは、常にオンのモニターとして軽量プローブを採用して、ヒューズレーションを共同で見積もり、ベース分類を実行する。
論文 参考訳（メタデータ） (2026-05-25T14:22:21Z) - Federated Stream-Processing and Latency-Gated Response for Cross-Sector Threat Detection and Collaborative Containment [0.0]
重要なインフラ防衛は、高度なサプライチェーンの妥協と盗まれた管理資格によって、予防的制御がしばしば回避されるという運用上の現実によってボトルネックになっている。
本稿では,協調したクロスセクタ脅威を検知し,機械の速度で封じ込めを編成する,新しい高スループットストリーム処理および相関フレームワークを提案する。
論文 参考訳（メタデータ） (2026-05-17T08:32:08Z) - CR^2: Cost-Aware Risk-Controlled Routing for Wireless Device-Edge LLM Inference [52.849509991178884]
大規模言語モデル(LLM)は集中型クラウドからモバイルエッジ環境に移行する。
軽量オンデバイスモデルとより強力なエッジモデルの間のクエリレベルのルーティングは、このトレードオフをナビゲートするための柔軟なメカニズムを提供する。
既存のルータは、集中クラウド設定とトークンレベルのコストの最適化のために設計されており、無線エッジデプロイメントにおける動的レイテンシとエネルギーオーバーヘッドをキャプチャできない。
論文 参考訳（メタデータ） (2026-05-12T11:50:15Z) - Scalable Context-Aware Graph Attention for Unsupervised Anomaly Detection in Large-Scale Mobile Networks [0.5219568203653523]
多数のネットワーク要素をまたいだ単一の共有モデルとして動作するように設計された異常検出フレームワーク。
モデルは、時間的および機能的なグラフの注意と、軽量な静的および動的コンテキスト条件付けを組み合わせる。
要素ごとの異常スコアを生成し、検証残差から完全に教師なしのしきい値を通じて警告に変換する。
論文 参考訳（メタデータ） (2026-05-01T07:43:14Z) - TwinGate: Stateful Defense against Decompositional Jailbreaks in Untraceable Traffic via Asymmetric Contrastive Learning [60.68349524623048]
分解されたジェイルブレイクは、大きな言語モデルにとって重大な脅威となる。
我々はステートフルなデュアルエンコーダ防御フレームワークであるTwinGateを紹介する。
我々は、8600の異なる悪意のある意図にまたがる360万以上の命令の包括的なデータセットを構築した。
論文 参考訳（メタデータ） (2026-04-30T13:44:01Z) - Adaptive Attacks on Trusted Monitors Subvert AI Control Protocols [80.68060125494645]
プロトコルとモニタモデルを知っている信頼できないモデルによるアダプティブアタックについて検討する。
我々は、攻撃者がモデル出力に公知またはゼロショットプロンプトインジェクションを埋め込む単純な適応攻撃ベクトルをインスタンス化する。
論文 参考訳（メタデータ） (2025-10-10T15:12:44Z) - Adaptive t Design Dummy-Gate Obfuscation for Cryogenic Scale Enforcement [0.0]
クラウド量子サービスは、スケジューラメタデータ、レイテンシパターン、共テナント干渉を通じて、回路構造とタイミングを明らかにすることができる。
我々は,ゲートモデルワークロードの運用上のプライバシを強制するスケジューリングおよび難読化スタックであるNADGOを紹介する。
低温CMOS制御による4キュービット超伝導タイルの試作を行い,深度可変ローカルランダム回路と小型QAOAインスタンスの両特性について検討した。
論文 参考訳（メタデータ） (2025-08-31T12:12:48Z) - 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) - FCOS: A simple and strong anchor-free object detector [111.87691210818194]
物体検出を画素ごとの予測方式で解くために, 完全畳み込み型一段物検出器 (FCOS) を提案する。
RetinaNet、SSD、YOLOv3、Faster R-CNNといった最先端のオブジェクト検出器のほとんどは、事前に定義されたアンカーボックスに依存している。
対照的に、提案した検出器FCOSはアンカーボックスフリーであり、提案はフリーである。
論文 参考訳（メタデータ） (2020-06-14T01:03:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。