From Source Code to Network Profile: Automated and Traceable MUD Profile Generation for IoT Devices
Abstractの概要
本論文では、ファームウェアおよびソフトウェアのソースツリーからIoTデバイス向けの製造業者使用記述（MUD）プロファイルを生成する、ソースコード駆動型システム「AutoMUD」を提案しています。AutoMUDは、観測されたトラフィックに依存するのではなく、軽量な静的・構文的抽出、検索グラウンディングに基づく言語モデルの推論、および決定論的検証を組み合わせることで、実装された通信動作を復元し、適格な検出結果をMUDファイルへとコンパイルします。この手法は出所（プロベナンス）を保持するように設計されており、生成された各ルールをソースレベルのエビデンスに関連付けつつ、除外または未解決となった検出結果もレビュー用の明確な理由とともに保持します。curl、wget、OpenSSHコンポーネントを含むLinuxベースのリポジトリによる評価において、本システムはベンチマーク対象のネットワーク成果物を復元し、手動で構築されたリファレンスと一致する構造的に有効なポリシーを生成しました。
新規性
独自の貢献は、ソースコードから直接MUDプロファイルを自動合成し、ソースからルールへの明示的な追跡可能性と、不確実または表現不可能な動作に対する保守的な処理を組み込んだ点にあります。これは、デバイス配備前に、条件付きや滅多に実行されない通信パスを含む実装済みの機能を分析することにより、従来のトラフィックベースの生成手法とは一線を画しています。
成果
評価対象のリポジトリにおいて、AutoMUDは31個すべての正解ネットワークシンボルを復元し、それらをソースで検証された23のエンドポイントグループに統合して、構造的に有効なMUDプロファイル内にリファレンスとなる92/92のACEを生成しました。5つのシナリオにわたる制御されたセマンティック障害注入実験では、生成された追跡可能性アーティファクトによって注入された24個の誤ったACEすべての検出、特定、説明、修正が可能となり、影響を受けていないルールを変更することなくクリーンな92個のACEポリシーへと復元しました。
論文の注目点
- AutoMUDはトラフィックトレースの代わりにソースコードのエビデンスからMUDポリシーを導出し、実行時には観察が困難または稀な、条件付きの実装済み通信パスを明らかにします。
- このパイプラインは、出力されたすべてのアクセス制御エントリを裏付けとなるソースエビデンスに関連付け、除外された候補エンドポイントの明確な理由を記録することで、エンドツーエンドの説明責任を維持します。
- 実験的評価により、マルチアプリケーションベンチマークにおける完全な復元が確認され、追跡可能性アーティファクトがセマンティックなポリシーエラーの監査および修正を可能にすることが実証されました。