[論文レビュー] Semi-Assisted Signal Authentication based on Galileo ACAS

Ignacio Fernández‐Hernández, Simón Cancela+10 more|arXiv (Cornell University)|Apr 29, 2022

GNSS positioning and interference被引用数 7

ひとこと要約

本論文は、事前に公開された再暗号化されたE6C信号の部分列を用いて、Galileoの信号認証を部分的に支援する手法を提案する。この手法では、OSNMA鍵を用いて事後的に復号することで、信号計画や暗号鍵の露出なしに数日間の受信機自律性を実現し、保存されたIFスナップショットと復号済みスプライシングコードとの事後相関によって信号認証を達成する。

ABSTRACT

A GNSS signal authentication concept named semi-assisted authentication is proposed. It is based on the re-encryption and publication of keystream sequences of some milliseconds from an already existing encrypted signal. Some seconds after the keystreams are transmitted in the signal-in-space, the signal broadcasts the key allowing to decrypt the sequences and the a-posteriori correlation at the receiver. The concept is particularized as Galileo Assisted Commercial Authentication Service, or ACAS, for Galileo E1-B, with OSNMA used for the decryption keys, and E6C, assumed to be encrypted in the near future. This work proposes the ACAS cryptographic operations and a model for signal processing and authentication verification. Semi-assisted authentication can be provided without any modification to the signal plan of an existing GNSS, without the disclosure of signal encryption keys, and for several days of receiver autonomy, depending on its storage capabilities.

研究の動機と目的

• 信号計画や衛星パッケージの変更なしに、Galileo GNSSの長期的信号認証を可能にすること。
• 暗号鍵の公開なしに、スプライシングコードの検証によって偽距離測定を認証する方法を提供すること。
• 鍵の復号と相関処理を事前認証フェーズに移譲することで、受信機の複雑さを低減すること。
• 既存のGalileo OSNMAと将来の暗号化E6C信号との互換性を確保すること。
• 事前にダウンロードされた再暗号化コード列（RECS）により、数日間の受信機自律性を実現すること。

提案手法

• システムは、事前に暗号化済みのE6C信号の短い部分列（RECS）を、NMA由来の暗号資材を用いて再暗号化する。
• RECSとそのタイミングメタデータは、地上チャネルを介して事前にユーザー受信機に公開される。
• 受信機はIFまたはベースバンド信号スナップショットを保存し、OSNMA鍵の公開を待機する。
• 鍵の公開後、受信機は衛星放送グループ遅延（BGD）、ハードウェアバイアス、電離層遅延の事前知識を用いて、保存済みE6Cスナップショットと復号済みRECSを相関させる。
• E1とE6Cの偽距離測定の整合性をチェックすることで認証を検証し、事前誤差分散に基づいたしきい値を用いる。
• 再送攻撃を防ぐために、緩い時刻同期を仮定し、既存のOSNMAの時刻要件を活用する。

実験結果

リサーチクエスチョン

• RQ1 既存の信号計画や鍵管理システムへの最小限の変更で、GNSS信号認証をどのように達成できるか？
• RQ2 事前に公開された再暗号化コード列を用いた場合、信号認証における受信機自律性の最大限はどの程度か？
• RQ3 リアルタイムでの暗号鍵アクセスや継続的なネットワーク接続なしに、受信機はどのように偽距離測定を認証できるか？
• RQ4 保存済み信号スナップショットと復号済みスプライシングコードとの正確な事後相関を可能にする、重要な信号処理パrameterは何か？
• RQ5 E1とE6Cの偽距離測定の整合性は、どのように信号真正性の検証に利用できるか？

主な発見

• 部分的支援型認証により、Galileo信号計画や衛星パッケージの変更なしに、数日間の受信機自律性が実現可能である。
• 本手法は、E6C信号部分列を再暗号化し、事前に公開することで、後にOSNMAを用いて鍵を公開することで信号認証を達成する。
• 受信機は、保存済みIFまたはベースバンドスナップショットと復号済みRECSを、BGDやハードウェアバイアスなどの事前知識を用いて相関させることで、信号を認証できる。
• 認証は、E1とE6Cの偽距離測定の整合性チェックを通じて検証され、事前誤差分散から導出されたしきい値が用いられる。
• 本手法は、プライベート暗号鍵の公開を必要とせず、既存のGalileo OSNMAおよび将来のE6C暗号化と互換性がある。
• 再送攻撃を防ぐために緩い同期を仮定するが、これはOSNMAで既に求められている要件である。