Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Compliance en test benchBewerken op GitHubBron: docs/compliance/dhs-rpcf.md

US DHS Resilient PNT Conformance Framework: waarvoor Kshana bewijs levert

Het kader beschrijft veerkrachtniveaus 0 tot 4 opgebouwd uit acht genummerde eisen, en een evaluatiebenadering die statische analyse combineert met dynamische analyse waarin testvectoren dreigingen vervangen. Het heeft geen eigen schema van eisidentificatie, dus de verwijzingen hieronder zijn de niveau- en eisnummers en de sectienummers ervan. Het is resultaatgericht en catalogiseert geen dreigingen.

Elke rij zegt welke uitvoer van Kshana bewijs levert voor de eis en wat er overblijft. Niets hier zegt dat aan een kader is voldaan of dat een product door wie dan ook is beoordeeld of goedgekeurd. Voer kshana compliance-report uit op uw eigen resultaatbestanden om te zien voor welke rijen uw runs daadwerkelijk bewijs leveren; zie README.md.

Brondocumenten#

Koppeling#

Naslag Wat het vraagt (geparafraseerd) Uitvoer van Kshana die er bewijs voor levert Hiaat
Sectie 5,2 (Prevent, Respond, Recover) Veerkracht wordt beschreven als drie functies: schade voorkomen, reageren (detecteren, melden, beperken, indammen) en herstellen. Detectie is probabilistisch, dus zowel valse alarmen als gemiste detecties tellen. Beoordeling van het vertrouwen in ontvangerlogs; Detectie van spoofing en meaconing; Holdover en uitloop Preventie is een eigenschap van het productontwerp die geen enkele simulatie-uitvoer laat zien. Detectiestatistieken uit een synthetische run of een run van één sessie zijn geen gemeten percentage valse alarmen of gemiste detecties voor een product in het veld.
Niveau 1, eis 1 Controleer dat opgeslagen gegevens uit externe bronnen overeenkomen met de formaten en waardenbereiken van de relevante standaarden. geen Een eigenschap van softwarezekerheid en invoervalidatie van het product onder test. Kshana inspecteert de invoerverwerking van een product niet.
Niveau 1, eis 2 Maak volledig handmatig herstel mogelijk door het geheugen te wissen of te resetten, waarbij het systeem terugkeert naar gedefinieerde prestaties zodra de dreiging voorbij is. Beoordeling van het vertrouwen in ontvangerlogs Een ontvangerlog toont wanneer een positiebepaling onbetrouwbaar werd en wanneer ze herstelde; het toont niet dat een handmatige reset elke opgeslagen toestand wist.
Niveau 1, eis 3 Firmware veilig herladen of bijwerken. geen De beveiliging van firmware-updates valt buiten wat enige uitvoer van Kshana waarneemt.
Niveau 2, eis 4 Identificeer gecompromitteerde PNT-bronnen en voorkom dat ze de oplossing verstoren. Detectie van spoofing en meaconing; Beoordeling van het vertrouwen in ontvangerlogs; Integriteitsbewaking en beschermingsniveaus Kshana scoort detectoren en monitoren die het modelleert of over een log draait; of de eigen bronuitsluiting van een product werkt, vraagt de interne toestand van het product, niet alleen zijn log.
Niveau 2, eis 5 Herstel bronnen en het systeem automatisch zonder de uitvoer te onderbreken; tijdens de dreiging wordt nog steeds een oplossing geleverd, met mogelijk onbegrensde degradatie. Holdover en uitloop; Beoordeling van het vertrouwen in ontvangerlogs Holdover-runs begrenzen de gemodelleerde drift voor een opgegeven klok- of inertiaalmodel, niet het eigen herstelgedrag van het product.
Niveau 3, eis 6 Corrupte data van de ene bron mogen een andere bron niet besmetten. Alternatieve en diverse PNT-bronnen Kshana draait bronnen naast elkaar; bronisolatie binnen een product vraagt een ontwerpreview of foutinjectie in het product.
Niveau 3, eis 7 Verifieer de oplossingen van alle bronnen onderling en houd de degradatie tijdens een dreiging begrensd. Integriteitsbewaking en beschermingsniveaus; Holdover en uitloop; Alternatieve en diverse PNT-bronnen Begrensde degradatie wordt getoond voor de gemodelleerde sensoren; de eigen kruiscontrole van het product wordt niet waargenomen.
Niveau 4, eis 8 Gebruik bronnen van verschillende technologieën tegen common-mode-dreigingen, zonder degradatie tijdens de dreiging. Alternatieve en diverse PNT-bronnen; Effecten van het jamming-linkbudget Een common-mode-redenering vraagt de bronnenset van het echte product en een dreiging die ze allemaal omvat; een scenario stelt er één, het bewijst niet dat het product geen gedeelde zwakte heeft.
Sectie 5,5 (common mode) Diverse mechanismen mogen geen zwakte delen: een jammer die twee banden bestrijkt, ondermijnt bijvoorbeeld banddiversiteit. Effecten van het jamming-linkbudget; Veerkrachtscoring over dreigingsensembles; Alternatieve en diverse PNT-bronnen De scoring gebruikt een synthetisch dreigingsensemble, als zodanig vermeld; het zijn geen veldgegevens.
Secties 8,1 tot 8,3 (evaluatie) De evaluatie combineert statische analyse met dynamische analyse, waarbij testvectoren dreigingen vervangen; de testklassen zijn bronuitval, interferentie en interne fouten. Simulatoren worden als testmethode genoemd. Beoordeling van het vertrouwen in ontvangerlogs; Effecten van het jamming-linkbudget; Detectie van spoofing en meaconing Geëxporteerde beweging en gebeurtenissen kunnen een laboratoriumsimulator aansturen (docs/TEST-BENCH.md). Kshana schrijft geen signaal, dus de simulator en zijn bevoegde operator leveren de dreiging.
Sectie 8,6 (elementen van een testplan) Een testplan vermeldt het niveau, de eis, de invoer, de referenties, de benodigde datatoegang, de procedure met criteria voor geslaagd of niet geslaagd, de resultaten en notities. Reproduceerbare herkomst van runs; Beoordeling van het vertrouwen in ontvangerlogs De criteria voor geslaagd of niet geslaagd worden door de beoordelaar gekozen; Kshana legt de invoer, drempels en hashes vast waarmee het draaide.