Sequence-, Epoch-, and Integrity-Aware Detection of Replay and Peer-Spoofing Attacks in Decentralized UAV Mesh Networks: A Software-Validated Security Framework

技術要約：分散型UAVメッシュネットワークにおけるシーケンス、エポック、および整合性を考慮したリプレイ攻撃とピア・スプーフィング攻撃の検知

問題提起
分散型無人航空機（UAV）スウォームは、メッセージの鮮度（freshness）とピアのアイデンティティが重要な制御システム特性となる、動的なピア・ツー・ピア無線リンク上で運用される。クライアント・サーバ型アーキテクチャとは異なり、空飛ぶアドホックネットワーク（FANET）は、暗号学的には有効だが古いパケット（リプレイ）、送信者アイデンティティを偽装したパケット（ピア・スプーフィング）、あるいは認証されていない緊急メッセージといった、中央集権的な介入が間に合う前に集団行動を破壊しうる特有の脅威に直面している。既存の文献は、なりすまし、リプレイ、および偽データ注入を持続的な脅威として特定しているが、リソース制約のあるスウォームにおいては、実装レベルで3つの具体的なギャップが存在する：

1. 時間の信頼性： 時刻同期のドリフトやGNSS操作の可能性があるため、鮮度の確保を壁時計時刻（wall-clock time）のみに依存することはできない。
2. コンテキストの結合： 認証は、単にペイロードだけでなく、送信者アイデンティティ、信頼エポック（trust epoch）、およびシーケンス・メタデータを結合しなければならない。これはコンテキスト切り替え攻撃を防ぐためである。
3. 検証の順序： 認証は、いかなる状態遷移や安全に関連するアクションよりも前に行われなければならない。メッセージがシステム状態を変化させた後に検証を行うことは、セキュリティ境界を提供しない。

手法
本論文は、オープンなGPS非依存型UAV研究プラットフォーム（コミット c040073969a6111f4c652d08e8de8629d70b2317）に実装された特定のパケット受理フレームワークを分析している。本研究では受信側の受理ゲートを分離し、各パケット $p$ を、タイプ、送信者ID、タイムスタンプ、TTL、信頼エポック、シーケンス番号、ソースタグ、ペイロード、および認証フックを含むタプルとして定義する形式モデルを構築する。

手法として、パケットがピア状態キャッシュに受理される前に、5つのゲートの同時充足を要求する複合受理述語 $A(p)$ を採用している：

1. 正規化と整合性： パケットは、Canonical CBOR（認証フックをクリアしたもの）としてシリアライズされる。この正規表現に対して、32バイトのHMAC-SHA256タグが計算される。受信者は定数時間比較を用いてこのタグを検証する。これにより、送信者アイデンティティとすべてのメタデータがペイロードに結合される。
2. 時間の鮮度 ($F_{time}$): パケットの絶対的な経過時間は、設定された最大クロックスキュー（$\Delta$）にパケットの生存期間（TTL）を加えた値に対してチェックされる。
3. 信頼エポックの隔離 ($F_{epoch}$): パケットの信頼エポックは、受信側の設定されたエポックと完全に一致しなければならない。これは粗い世代境界として機能し、以前の鍵またはメンバーシップ・コンテキストからのパケットを拒絶する。
4. 厳格なシーケンス単調性 ($F_{seq}$): シーケンス番号は、その特定のピアからの直近の認証済みシーケンスよりも厳密に大きくなければならない。これにより厳格なアンチリプレイ状態が強制され、最新ではないパケットはすべて拒絶される。
5. ランタイム・プロファイル・ポリシー ($F_{profile}$): 「エッジ・スウォーム」モードでは、明示的に設定されたシミュレーション・プロファイルを除き、署名のないパケットは拒絶される。

本フレームワークは、有効な検証、ペイロード/送信者の改ざん、署名欠落、古いエポック、およびアクション前の安全性チェックをカバーするソースレベルのユニットテストを通じて検証されている。性能評価は、孤立した暗号学的レイテンシの測定ではなく、ソフトウェアパスの粗いプロキシとして扱われるリポジトリ・ベンチマークを通じて行われる。

主な貢献

1. 形式的アドバーサリ・モデル： アウトサイダーによるリプレイ、ペイロード改ざん、送信者スプーフィング、エポック再利用、インサイダーによる鍵侵害を含む、特定の攻撃クラスを定義する。
2. 複合セキュリティ述語： 実装された受理チェーンを、時間、エポック、シーケンス、ポリシー、および整合性のチェックの数学的な連言（conjunction）として表現し、いずれか一つのゲートの失敗がパケット拒絶につながることを証明する。
3. アクション前安全性プロパティ： ソースマッピングを通じて、認証の失敗が状態キャッシュの変異を防止し、安全に関連するアクション（例：緊急コリドーの受理）をブロックすることを実証する。
4. 運用のトレードオフ分析： 厳格な単調シーケンスのコストを定量化し、それがクリーンな安全性不変量を提供する一方で、正当な順序入れ替えが発生したパケットを拒絶してしまうことを指摘する。また、32ビットのシーケンスカウンタの枯渇時間を、様々なパケットレートにおいて分析する。
5. 残留リスクの特性付け： 共有秘密設計では、完全に侵害された正当なピアが有効なHMACを生成して他のノードになりすますことを防げないことを明示的に特定する。

結果

• セキュリティ特性： 本フレームワークは、リプレイされたパケット（有効なタイムスタンプを持つ場合でも）、改ざんされたペイロード、偽造された送信者ID、および一致しないエポックを持つパケットを正常に拒絶する。「フェイルクローズ（fail-closed）」設計により、未検証のパケットがいかなる場合もスウォームの状態を変更しないことが保証される。
• 性能： リポジトリ・ベンチマークは、スウォーム認証パスの中央値 12.219 ms および平均 22.603 ms を報告している。著者は、これらの数値にはプロセス起動のオーバーヘッドが含まれており、孤立した暗号性能ではなく、粗いソフトウェアパスのプロキシであることを明確にしている。
• テスト範囲： ソースレベルのテストにより、送信者IDまたはペイロードの改ざんが INVALID_SIGNATURE を引き起こし、古いエポックやシーケンスがそれぞれ STALE_EPOCH および REPLAY_DETECTED を引き起こすことが確認された。エッジモードにおける署名なしパケットは拒絶される。
• 限界： 分析の結果、現在の設計はグループ秘密を保持するインサイダーに対する保護を提供しないことが確認された。さらに、厳格なシーケンス規則は、正当な順序入れ替えパケットに対する「誤拒絶」の確率を生み出し、32ビットカウンタは1,000パケット/秒のレートでわずか約50日で枯渇する可能性がある。

意義と主張
本論文は、分散型UAVネットワークにおける軽量なアンチリプレイおよびピア・スプーフィング保護のためのエビデンスに基づいたベースラインを提供すると主張している。その意義は以下の点にある：

• 実装への接地： 理論的な提案とは異なり、本研究は特定の稼働中のソフトウェア実装を分析し、数学的述語をコードパスとテストケースに直接マッピングしている。
• 明確な境界定義： 現在の共有秘密設計が証明できること（完全性とグループメンバーシップ）と、証明できないこと（個別のノードによる非否認性やインサイダーの特定）を明確に区別している。
• 移行パス： 本フレームワークは、個別のノード鍵、ハードウェアにバインドされたアイデンティティ、限定されたリプレイウィンドウ、および耐量子認証へと進化するための基礎となる。

著者はその範囲を謙虚に捉えており、すべての侵害ノード攻撃や物理的な鍵抽出に対する保護を主張しているわけではない。代わりに、本研究は現在の設計から何を証明できるかを正確に確立し、インサイダー脅威を封じ込めるために必要な具体的な設計要件を特定している。結論として、現在の決定論的な受理ゲートはコンパクトなセキュリティ基盤ではあるものの、実用的な進化には、グループ秘密を超えた個別ノードの資格情報と、強化された時刻ソースの検証が必要であることを示している。