論文の概要: VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime

• arxiv url: http://arxiv.org/abs/2308.12417v3
• Date: Tue, 23 Sep 2025 19:50:57 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-09-25 20:53:19.427738
• Title: VetIoT: On Vetting IoT Defenses Enforcing Policies at Runtime
• Title（参考訳）: VetIoT: 実行時にポリシーを強制するIoTディフェンスのベット
• Authors: Akib Jawad Nafis, S Mahmudul Hasan, Omar Chowdhury, Endadul Hoque,
• Abstract要約: 防衛ソリューションのクラスは、IoTシステムの期待される振る舞いをキャプチャするポリシーを動的に実施する。 多くのイノベーションにもかかわらず、これらのソリューションは未検証である。 高度に自動化され、均一な評価プラットフォームであるVetIoTを提案する。
• 参考スコア（独自算出の注目度）: 3.7924984457839415
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Smart homes, powered by programmable IoT platforms, often face safety and security issues. A class of defense solutions dynamically enforces policies that capture the expected behavior of the IoT system. Despite numerous innovations, these solutions are under-vetted. The primary reason lies in their evaluation approach -- they are self-assessed in isolated virtual testbeds with hand-crafted orchestrated scenarios that require manual interactions using the platform's user-interface (UI). Such non-uniform evaluation setups limit reproducibility and comparative analysis. Closing this gap in the traditional way requires a significant upfront manual effort, causing researchers to turn away from large-scale comparative empirical evaluation. To address this, we propose VetIoT -- a highly automated, uniform evaluation platform -- to vet the defense solutions that hinge on runtime policy enforcement. Given a defense solution, VetIoT readily instantiates a virtual testbed to deploy and evaluate the solution. VetIoT replaces manual UI-based interactions with an automated event simulator and manual inspection of test outcomes with an automated comparator. VetIoT incorporates automated event generators to feed events to the event simulator. We developed a prototype of VetIoT, which successfully reproduced and comparatively assessed four runtime policy enforcement solutions. VetIoT's stress testing and differential testing capabilities make it a promising tool for future research and evaluation.
• Abstract（参考訳）: プログラマブルなIoTプラットフォームをベースとするスマートホームは、安全とセキュリティの問題を抱えることが多い。 防衛ソリューションのクラスは、IoTシステムの期待される振る舞いをキャプチャするポリシーを動的に実施する。 多くのイノベーションにもかかわらず、これらのソリューションは未検証である。 主な理由は評価アプローチにある -- プラットフォームユーザインターフェース(UI)を使用して手作業によるインタラクションを必要とする手作りのオーケストレーションシナリオを備えた、分離された仮想テストベッドで自己評価される。 このような一様でない評価設定は再現性と比較分析を制限する。 従来の方法でこのギャップを閉じるには、かなりの事前の手作業が必要で、研究者は大規模な比較実験的な評価から遠ざかることになる。 これを解決するために,高度に自動化された,均一な評価プラットフォームであるVetIoTを提案して,ランタイムポリシの実施を隠蔽する防御ソリューションを精査する。 防御ソリューションが与えられたら、VetIoTは簡単に仮想テストベッドをインスタンス化し、ソリューションをデプロイして評価する。 VetIoTは、UIベースの手動インタラクションを、自動イベントシミュレータで置き換え、自動コンパレータでテスト結果の手動検査を行う。 VetIoTは自動イベントジェネレータを組み込んで、イベントシミュレータにイベントを配信する。 我々は,4つのランタイムポリシー適用ソリューションを再現し,比較的評価したVetIoTのプロトタイプを開発した。 VetIoTのストレステストと差分テスト機能は、将来の研究と評価に有望なツールである。

関連論文リスト

• MetAdv: A Unified and Interactive Adversarial Testing Platform for Autonomous Driving [63.875372281596576]
  MetAdvは、現実的でダイナミックでインタラクティブな評価を可能にする、新しい対向テストプラットフォームである。 フレキシブルな3D車両モデリングと、シミュレートされた環境と物理的環境のシームレスな遷移をサポートする。 生理的信号のリアルタイムキャプチャとドライバからの行動フィードバックを可能にする。
  論文  参考訳（メタデータ） (2025-08-04T03:07:54Z)
• Test Automation for Interactive Scenarios via Promptable Traffic Simulation [48.240394447516664]
  本稿では,対話型シナリオにおけるAVプランナ評価のための,現実的かつ安全クリティカルな人間の行動を生成する自動化手法を提案する。 我々は低次元目標位置を用いて複雑な人間の行動のパラメータ化を行い、それをプロンプト可能な交通シミュレータProSimに入力する。 テスト生成を自動化するために,目標領域を探索し,ベイズ最適化を用いて安全クリティカルな動作を効率的に識別するプロンプト生成モジュールを導入する。
  論文  参考訳（メタデータ） (2025-06-01T22:29:32Z)
• An Autonomous RL Agent Methodology for Dynamic Web UI Testing in a BDD Framework [0.0]
  本稿では,自律型強化学習(RL)エージェントを振る舞い駆動開発(BDD)フレームワークに統合し,ユーザインターフェーステストを強化する。 RLの適応的意思決定機能を活用することで、提案手法は、特定のビジネス期待や実際のユーザ行動に適合したテストシナリオを動的に生成し、洗練する。
  論文  参考訳（メタデータ） (2025-03-11T14:12:50Z)
• Collaborative Instance Object Navigation: Leveraging Uncertainty-Awareness to Minimize Human-Agent Dialogues [54.81155589931697]
  協調インスタンスオブジェクトナビゲーション(CoIN)は、エージェントがターゲットインスタンスに関する不確実性を積極的に解決する新しいタスク設定である。 未認識者に対するエージェント・ユーザインタラクション(AIUTA)の新たな学習自由化手法を提案する。 まず、オブジェクト検出時に、セルフクエチオナーモデルがエージェント内で自己対話を開始し、完全かつ正確な観察記述を得る。 インタラクショントリガーモジュールは、人間に質問するか、継続するか、ナビゲーションを停止するかを決定する。
  論文  参考訳（メタデータ） (2024-12-02T08:16:38Z)
• Metaphorical User Simulators for Evaluating Task-oriented Dialogue Systems [80.77917437785773]
  タスク指向対話システム(TDS)は、主にオフラインまたは人間による評価によって評価される。 本稿では,エンド・ツー・エンドのTDS評価のためのメタファ型ユーザシミュレータを提案する。 また,異なる機能を持つ対話システムなどの変種を生成するためのテスタベースの評価フレームワークを提案する。
  論文  参考訳（メタデータ） (2022-04-02T05:11:03Z)
• Efficient and Effective Generation of Test Cases for Pedestrian Detection -- Search-based Software Testing of Baidu Apollo in SVL [14.482670650074885]
  本稿では,SVLシミュレータ内での自律走行プラットフォームであるBaidu Apolloの歩行者検出と緊急制動システムの試験について述べる。 本稿では,SVL環境におけるApolloの障害検出シナリオを生成する進化的自動テスト生成手法を提案する。 また,本手法の有効性と有効性を示すため,ベースラインランダム生成手法の結果も報告する。
  論文  参考訳（メタデータ） (2021-09-16T13:11:53Z)
• Data Driven Testing of Cyber Physical Systems [12.93632948681342]
  そこで本研究では,CPSの故障防止テストケースを自動生成する手法を提案する。 スマートな建物を管理するアプリケーションから収集されたデータは、環境のモデルを学ぶために使われてきた。
  論文  参考訳（メタデータ） (2021-02-23T04:55:10Z)

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

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