US DHS Resilient PNT Conformance Framework: mille kohta Kshana toetab tõendeid (supports evidence for)
Raamistik kirjeldab vastupidavuse tasemeid 0 kuni 4, mis on ehitatud kaheksast nummerdatud nõudest, ning hindamislähenemist, mis ühendab staatilise analüüsi dünaamilise analüüsiga, kus testvektorid asendavad ohte. Sellel puudub oma nõuete identifikaatorite skeem, seega allpool toodud viited on selle tasemete ja nõuete numbrid ning jaotiste numbrid. See on tulemuspõhine ega kataloogi ohte.
Iga rida ütleb, millised Kshana väljundid toetavad tõendeid (supports evidence for) nõude kohta ja mis jääb üle. Siin ei ütle miski, et raamistik on täidetud või et keegi on mõnda toodet hinnanud või heaks kiitnud. Käivita kshana compliance-report omaenda tulemusfailidel, et näha, milliseid ridu käitused tegelikult tõendavad; vt README.md.
Allikdokumendid#
- Resilient Positioning, Navigation, and Timing (PNT) Conformance Framework: versioon 2,0, 26. aprill 2022 (DHS Science and Technology Directorate koos CISA-ga). https://www.dhs.gov/sites/default/files/2022-05/22_0531_st_resilient_pnt_conformance_framework_v2.0.pdf. Loetud 2026-10-09: dokument loetud täielikult; väljaande sihtlehte ei tõmmatud.
Kaardistus#
| Teatmik | Mida see nõuab (parafraseeritud) | Kshana väljundid, mis toetavad selle kohta tõendeid (supports evidence for) | Lünk |
|---|---|---|---|
| Jaotis 5,2 (Prevent, Respond, Recover) | Vastupidavust kirjeldatakse kolme funktsioonina: kahju ennetamine, reageerimine (tuvasta, teata, leevenda, piira) ja taastumine. Tuvastamine on tõenäosuslik, seega on olulised nii valehäired kui ka tuvastamata jäänud sündmused. | Vastuvõtja logi usaldushinnang; Spuufimise ja meaconing’u tuvastamine; Holdover ja libisemine | Ennetus on tootedisaini omadus, mida ükski simulatsiooni väljund ei näita. Sünteetilise või ühe seansi käituse tuvastusstatistika ei ole kasutusel oleva toote mõõdetud valehäire- ega tuvastamata jäämise määr. |
| Tase 1, nõue 1 | Kontrollida, et väliste allikate salvestatud andmed vastavad asjakohaste standardite vormingutele ja väärtusvahemikele. | puudub | Katsetatava toote tarkvaratagatise ja sisendi valideerimise omadus. Kshana ei kontrolli toote sisendikäsitlust. |
| Tase 1, nõue 2 | Võimaldada täielik käsitsi taastamine mälu tühjendamise või lähtestamise teel, viies süsteemi ohu möödudes tagasi määratud toimivusele. | Vastuvõtja logi usaldushinnang | Vastuvõtja logi näitab, millal lahend muutus usaldamatuks ja millal see taastus; see ei näita, et käsitsi lähtestamine tühjendab iga salvestatud oleku. |
| Tase 1, nõue 3 | Laadida püsivara ohutult uuesti või uuendada. | puudub | Püsivara uuenduse turvalisus jääb väljapoole seda, mida ükski Kshana väljund jälgib. |
| Tase 2, nõue 4 | Tuvastada kompromiteeritud PNT allikad ja takistada neil lahendi riknemist. | Spuufimise ja meaconing’u tuvastamine; Vastuvõtja logi usaldushinnang; Terviklikkuse seire ja kaitsetasemed | Kshana hindab detektoreid ja monitore, mida see modelleerib või käitab logi üle; kas toote enda allika välistamine töötab, vajab toote sisemist olekut, mitte ainult selle logi. |
| Tase 2, nõue 5 | Taastada allikad ja süsteem automaatselt väljundit katkestamata; lahend antakse ka ohu ajal, võimalik et piiramatu halvenemisega. | Holdover ja libisemine; Vastuvõtja logi usaldushinnang | Holdover-käitused piiravad modelleeritud triivi määratud kella- või inertsiaalmudeli jaoks, mitte toote enda taastumiskäitumist. |
| Tase 3, nõue 6 | Ühe allika riknenud andmed ei tohi saastada teist allikat. | Alternatiivsed ja mitmekesised PNT allikad | Kshana käitab allikaid kõrvuti; allikate isolatsioon toote sees vajab disainiülevaatust või vigade süstimist tootesse. |
| Tase 3, nõue 7 | Kontrollida ristkontrolliga kõigi allikate lahendeid ja hoida halvenemine ohu ajal piiratuna. | Terviklikkuse seire ja kaitsetasemed; Holdover ja libisemine; Alternatiivsed ja mitmekesised PNT allikad | Piiratud halvenemist näidatakse modelleeritud sensorite puhul; toote enda ristkontrolli ei jälgita. |
| Tase 4, nõue 8 | Kasutada erinevate tehnoloogiate allikaid ühisrežiimi ohtude vastu, ilma halvenemiseta ohu ajal. | Alternatiivsed ja mitmekesised PNT allikad; Segamise lingieelarve mõjud | Ühisrežiimi argument vajab tõelise toote allikate komplekti ja ohtu, mis neid kõiki hõlmab; stsenaarium esitab ühe, kuid see ei tõesta, et tootel pole ühist nõrkust. |
| Jaotis 5,5 (ühisrežiim) | Erinevad mehhanismid ei tohi jagada nõrkust: näiteks segaja, mis katab kaht sagedusriba, nurjab ribade mitmekesisuse. | Segamise lingieelarve mõjud; Vastupidavuse hindamine ohuansamblite üle; Alternatiivsed ja mitmekesised PNT allikad | Hindamine kasutab sünteetilist ohuansamblit, mis on sellisena öeldud; see ei ole välitööde andmed. |
| Jaotised 8,1 kuni 8,3 (hindamine) | Hindamine ühendab staatilise analüüsi dünaamilise analüüsiga, kus testvektorid asendavad ohte; testiklassid on allika rike, häire ja sisemised rikked. Simulaatorid on nimetatud testmeetodina. | Vastuvõtja logi usaldushinnang; Segamise lingieelarve mõjud; Spuufimise ja meaconing’u tuvastamine | Eksporditud liikumine ja sündmused võivad juhtida laborisimulaatorit (docs/TEST-BENCH.md). Kshana ei kirjuta signaali, seega annavad ohu simulaator ja selle volitatud operaator. |
| Jaotis 8,6 (testiplaani elemendid) | Testiplaan esitab taseme, nõude, sisendid, viited, vajaliku andmetele juurdepääsu, protseduuri läbimise või ebaõnnestumise kriteeriumidega, tulemused ja märkused. | Reprodutseeritav käituse päritolu; Vastuvõtja logi usaldushinnang | Läbimise või ebaõnnestumise kriteeriumid valib hindaja; Kshana salvestab sisendid, lävendid ja räsid, millega see käitati. |