On the Robustness of AoA as an Authentication Feature Under Spoofing: Fundamental Limits from Misspecified Cramer Rao Theory

Titel en Context

Titel: Over de Robuustheid van AoA als Authenticatiekenmerk onder Spoofing: Fundamentele Grenzen uit de Gespecificeerde Cramér–Rao Theorie.
Auteurs: Sotiris Skaperas en Arsenia Chorti.
Doel: Het analyseren van de kwetsbaarheid van fysieke-laag authenticatie (PLA) gebaseerd op de Aankomsthoek (Angle of Arrival - AoA) tegen spoofing-aanvallen, waarbij gebruik wordt gemaakt van een verwaarloosde (misspecified) Cramér–Rao-benadering.

1. Het Probleem

Angle of Arrival (AoA)-gebaseerde fysieke-laag authenticatie is een gevestigde methode om statische knopen te identificeren door de ruimtelijke signatuur van een ontvangen signaal te benutten. Een verifieerder schat de AoA van een legitieme gebruiker en vergelijkt deze met een vooraf geregistreerde waarde.

Hoewel eerdere studies hebben aangetoond dat AoA robuust is tegen spoofing (impersonatie), ontbraken er analytische resultaten voor de authenticatie-accuraatheid en de waarschijnlijkheid van spoofing-detectie, valse alarmen en gemiste detecties.

• De uitdaging: Bij een spoofing-aanval schat de verifieerder de AoA op basis van een enkel-bronmodel (legitieme gebruiker), terwijl het ontvangen signaal eigenlijk wordt gegenereerd door een multi-antenne-adversariaal (spoofer) op een andere hoek. Dit creëert een modelmismatch.
• Gevolg: De AoA-schatting onder aanval wordt een "verwaarloosde schattingsprobleem" (misspecified estimation problem), wat traditionele Cramér–Rao-benaderingen (CRB) ongeschikt maakt voor het analyseren van de prestatiegrenzen.

2. Methodologie

De auteurs hanteren een wiskundig kader gebaseerd op de Misspecified Cramér–Rao Bound (MCRB) om de fundamentele limieten van AoA-schatting onder spoofing te karakteriseren.

• Systeemmodel:
  • Verifieerder: Een Uniform Lineair Array (ULA) met $M$ elementen.
  • Legitiem Model: Een enkel-antenne bron met een bekende AoA ($\theta_u$).
  • Spoofing Model: Een adversariaal met $L$ antennes en een precoderingsvector, die een signaal uitzendt dat lijkt op de legitieme bron maar fysiek van een andere hoek ($\theta^A_\ell$) komt.
• MCRB Framework:
  • In plaats van de standaard CRB, gebruiken de auteurs de MCRB, die rekening houdt met het feit dat het gebruikte model (enkel-bron) niet overeenkomt met de werkelijkheid (multi-bron/gespoofd).
  • Ze definiëren een pseudo-waarde parameter ($\theta_0$): de AoA die de Kullback-Leibler-divergentie minimaliseert tussen het ware gespoofde model en het aangenomen legitieme model. Dit is de "beste" schatting die de verifieerder kan maken onder aanval.
• Hypothese-toetsing:
  • Authenticatie wordt geformuleerd als een binair testprobleem:
    • $H_0$: Het signaal komt van de legitieme gebruiker.
    • $H_1$: Het signaal is gespoofd.
  • De verifieerder gebruikt de Maximum Likelihood (ML) schatter voor de AoA en vergelijkt de afwijking met een drempelwaarde $\tau$.

3. Belangrijkste Bijdragen

De paper levert de volgende theoretische en praktische bijdragen:

1. Formulering als Verwaarloosd Schattingsprobleem: De auteurs formuleren AoA-PLA onder spoofing als een MCRB-probleem en leiden gesloten uitdrukkingen af voor de MCRB en de pseudo-waarde AoA ($\theta_0$) voor een ULA-verifieerder en een spoofer met willekeurig aantal antennes.
2. Gesloten Uitdrukkingen voor Kansen: Voor het eerst worden gesloten formules afgeleid voor:
   • De drempelwaarde voor valse alarmen ($P_{FA}$).
   • De waarschijnlijkheid van spoofing-detectie ($P_{SD}$).
   • De waarschijnlijkheid van gemiste detectie ($P_{MD}$).
3. Asymptotische Analyse: De paper identificeert de fundamentele limieten van AoA-PLA. Ze tonen aan dat als de hoekafstand tussen de legitieme bron en de spoofer ($\delta = |\theta_0 - \theta_u|$) niet nul is, de kans op gemiste detectie naar nul gaat naarmate het aantal snapshots ($K$) toeneemt.
4. Variance Sensitiviteit: Er wordt een diepgaande analyse uitgevoerd over hoe de variantie van de schatting de detectiekansen beïnvloedt. Er wordt bewezen dat er een optimale variantie bestaat die de detectiekans maximaliseert, afhankelijk van de hoekafstand.

4. Resultaten en Simulaties

De theoretische bevindingen zijn gevalideerd via Monte Carlo-simulaties. De belangrijkste resultaten zijn:

• Robuustheid: AoA is zeer robuust tegen spoofing, zolang de spoofer niet exact op dezelfde hoek staat als de legitieme gebruiker.
• Invloed van SNR: De detectiekans ($P_{SD}$) neemt sterk toe met het signaal-ruisverhouding (SNR). Een SNR van slechts 5 dB is voldoende om een spoofer met een hoekafstand van 0,25° met zekerheid te detecteren.
• Invloed van Array-grootte ($M$) en Snapshots ($K$):
  • Een groter aantal antennes ($M$) verbetert de detectie aanzienlijk. Met $M \geq 16$ wordt bijna perfecte prestatie bereikt voor hoekafstanden kleiner dan 1°.
  • Een groter aantal snapshots ($K$) verbetert de prestatie ook, maar het effect is minder dramatisch dan bij het vergroten van het array.
• Invloed van Precoding: De paper onderzoekt verschillende precoderingsstrategieën van de spoofer (gelijke gain vs. fase-variatie).
  • Bij gelijke gain is de detectiekans onafhankelijk van het aantal spoofer-antennes ($L$).
  • Bij fase-variatie hangt het effect van $L$ af van de hoekafstand; voor kleine afstanden kan het de spoofer ten goede komen, maar voor grotere afstanden is het effect verwaarloosbaar.
• Overeenkomst: De gesloten theoretische formules komen zeer nauwkeurig overeen met de simulatieresultaten.

5. Betekenis en Conclusie

Deze studie is significant omdat het de eerste is die de MCRB-mechanica toepast om de fundamentele limieten van AoA-authenticatie onder spoofing analytisch te kwantificeren.

• Vertrouwen in PLA: De resultaten bevestigen dat AoA een betrouwbare authenticatiekenmerk is voor 6G-netwerken en andere toekomstige systemen, zelfs onder geavanceerde spoofing-aanvallen met multi-antenne-adversariaals.
• Ontwerprichtlijnen: De paper biedt ontwerpers van PLA-systemen concrete richtlijnen over hoe array-grootte, SNR en het aantal snapshots moeten worden gekozen om een gewenste detectiekans te garanderen.
• Toekomstig werk: De auteurs wijzen op uitbreidingen naar onbekende CSI (Channel State Information), multipath fading en optimale precoding voor aanvallers als volgende stappen.

Kortom, de paper levert een wiskundig onderbouwde garantie dat AoA-gebaseerde authenticatie fundamenteel veilig is tegen spoofing, zolang er een fysieke ruimtelijke scheiding bestaat tussen de legitieme gebruiker en de aanval.