論文の概要: From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices
- arxiv url: http://arxiv.org/abs/2609.31594v1
- Date: Fri, 25 Sep 2026 17:52:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 18:27:51.526946
- Title: From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices
- Title（参考訳）: ソースコードからネットワークプロファイルへ:IoTデバイスの自動化されたトレース可能なMUDプロファイル生成
- Abstract要約: ファームウェアとソフトウェアソースコードからIoTデバイス用のトレース可能なMUDプロファイルを生成する,ソースコード駆動のツールであるAutoMUDを紹介する。
コードレベルのエビデンスを分析することで、AutoMUDは、稀なエクササイズや条件付き通信パスを公開し、生成されたすべてのルールをソースレベルの証明にリンクし、除外された結果をレビューの明確な理由で保存する。
- 参考スコア（独自算出の注目度）: 86.57251613552715
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Manufacturer Usage Description (MUD) standard allows IoT manufacturers to define expected network behaviors in a MUD file. This file can be translated into enforceable access-control policies, restricting compromised devices to operate solely through manufacturer-defined communication patterns. However, practical adoption of MUD depends on profiles that are accurate, complete, and maintainable. Existing approaches use traffic-based automation but require device deployment and prolonged monitoring, capturing only behavior exercised during observation. Rare, failure-triggered, or configuration-dependent communications may remain absent, producing incomplete policies that disrupt legitimate operation and offer limited insight into the software components responsible for each rule. We present AutoMUD, a source-code-driven tool that generates traceable MUD profiles for IoT devices from their firmware and software source code. AutoMUD combines static and syntactic extraction, retrieval-grounded language-model reasoning, and deterministic validation and compilation to recover the communication behavior characterizing an IoT device and translate eligible endpoints into policy rules. By analyzing code-level evidence, AutoMUD exposes rarely exercised and conditional communication paths, links every generated rule to its source-level provenance, and preserves excluded findings with explicit reasons for review. Our evaluation on a Linux-based repository demonstrates that AutoMUD recovers complete communication behavior, consolidates validated behavior into semantic endpoint groups, and generates structurally valid MUD profiles. Through a controlled semantic fault-injection campaign, we demonstrate that AutoMUD enables analysts to detect, localize, explain, and correct propagated errors, recovering policies semantically identical to their clean counterparts.
- Abstract（参考訳）: Manufacturer Usage Description (MUD)標準により、IoTメーカーは、MUDファイルで期待されるネットワーク動作を定義することができる。
このファイルは強制的なアクセス制御ポリシーに変換することができ、メーカーが定義した通信パターンを通じてのみ動作する妥協されたデバイスを制限することができる。
しかし、MUDの実践的な採用は、正確で、完全で、メンテナンス可能なプロファイルに依存します。
既存のアプローチでは、トラフィックベースの自動化を使用しているが、デバイスデプロイメントと長時間の監視が必要であり、観察中に実行された振る舞いのみをキャプチャする。
希少、障害トリガー付き、あるいは構成に依存したコミュニケーションはいまだ欠如しており、正当な操作を妨害し、各ルールに責任を負うソフトウェアコンポーネントについて限定的な洞察を与える不完全なポリシーを生み出している。
ファームウェアとソフトウェアソースコードからIoTデバイス用のトレース可能なMUDプロファイルを生成する,ソースコード駆動のツールであるAutoMUDを紹介する。
AutoMUDは静的および構文抽出、検索された言語モデル推論、決定論的検証とコンパイルを組み合わせて、IoTデバイスを特徴付ける通信動作を回復し、許容エンドポイントをポリシールールに翻訳する。
コードレベルのエビデンスを分析することで、AutoMUDは、稀なエクササイズや条件付き通信パスを公開し、生成されたすべてのルールをソースレベルの証明にリンクし、除外された結果をレビューの明確な理由で保存する。
Linux ベースのリポジトリ上での評価では,AutoMUD が完全な通信動作を回復し,検証された動作をセマンティックエンドポイント群に集約し,構造的に有効な MUD プロファイルを生成することを示す。
制御されたセマンティックなフォールトインジェクションキャンペーンを通じて,AutoMUDはアナリストが適切なエラーを検出し,ローカライズし,説明し,修正することを可能にする。
関連論文リスト
- A Safety-Bounded SDC-to-MCP Gateway for Medical AI Agents [0.18907108368038217]
医療環境では、デバイスの状態とアクションの余裕を露呈するには、影響の可能性を決定論的に制限する必要がある。
我々は、メトリクス、アラーム、コンテキスト参照、セマンティックメタデータを読み取り専用リソースとして公開するIEEE 11073 Service-Oriented Device Connectivity (SDC)-to-MCPゲートウェイを提案する。
論文 参考訳（メタデータ） (2026-09-25T14:54:21Z) - When Agents Look Like Beacons: NIDS Evasion by Model Context Protocol Traffic [0.5076419064097734]
明示的なネットワーク層表示がなければ,MPPトラフィックはCommand and Control (C2) のビーカリング動作に類似していることが示される。
本稿では,エージェントNative Native ALPNと標準帯域外ヘッダを含むエージェントベースのネットワーク表示標準を提案する。
論文 参考訳（メタデータ） (2026-09-16T17:27:42Z) - Diffusion Language Models for Mobile Edge Agentic AI: Foundations, Applications, and Challenges [58.887152635127165]
拡散言語モデル(DLM)は、モバイルエッジエージェント人工知能(AI)の非自己回帰的な代替手段を提供する
DLMは複数の不確実なトークンを並列に更新し、生成プロセスを通して双方向のコンテキストを利用することができる。
この調査は、DLMの基礎をレビューし、レイテンシ、メモリ、エネルギ、帯域幅、プライバシ、信頼性制約の下でのエッジ設定に対する適合性を分析します。
論文 参考訳（メタデータ） (2026-09-04T06:16:49Z) - LMSM: LLM Security Framework Inspired by Linux Security Modules [56.93644694627783]
大規模言語モデル(LLM)は階層化されたディフェンスでデプロイされることが多いが、悪意のあるプロンプトはそれらをバイパスすることができる。
我々は,Language Model Security Modules (LMSM) という,Linux Security Modules (LSM) の背後にある分離を LLM サービスに適応させるセキュリティフレームワークを提案する。
論文 参考訳（メタデータ） (2026-08-26T12:13:05Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - From Detection to Action: Using LLM Agents for Fault-Tolerant Control [0.21313236831585222]
我々は,耐故障性制御のためのエージェント型大規模言語モデル(LLM)フレームワークを提案する。
故障検出出力を、植物固有の知識に基づく制約対応回復行動に変換する。
我々は,各プロセスのダイナミックスと互換性のある遅延予算内で,意味的基盤を持つエージェントが有効なリカバリ決定を導出できることを示す。
論文 参考訳（メタデータ） (2026-06-26T12:13:58Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink [2.4755749916288714]
Platumは、最小限のDSLで両方の障害に対処するフレームワークです。
DATUMと比較して,総モニタ遅延とメモリオーバーヘッドの4倍の低減効果を示した。
論文 参考訳（メタデータ） (2026-04-04T22:45:02Z) - DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。
この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。
本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
論文 参考訳（メタデータ） (2025-06-13T05:01:09Z) - Towards Formal Verification of a TPM Software Stack [0.5074812070492739]
本稿では,Frama-C 検証プラットフォームを用いた tpm2-ts の形式的検証について述べる。
リンクされたリストと複雑なデータ構造に基づいて、ライブラリのコードは検証ツールにとって非常に難しいように思える。
論文 参考訳（メタデータ） (2023-07-31T16:35:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。