Bezpieczeństwo sprzętu: co Kshana robi ze sprzętem, a czego nigdy nie robi
Status: oczekuje na przegląd prawny przez właściciela. Poniższe uwagi prawne to odczyt publicznych źródeł dokonany przez opiekunów, spisany po to, by użytkownik wiedział, gdzie leżą granice. Nie są poradą prawną, nie były sprawdzane przez radcę prawnego, a prawo różni się w zależności od kraju. Należy je czytać jako powód, by zapytać prawnika, a nie jako zezwolenie.
Kshana to oprogramowanie wyłącznie doradcze do badań, symulacji i testów. Nie jest to sprzęt z zatwierdzeniem typu i nie ocenia ani nie zatwierdza odbiornika, zegara ani laboratorium. Zob. oświadczenie doradcze w README.
Zasada#
Produktem jest odbiór. Nadawanie nigdy nie wchodzi w skład otwartego silnika.
- Kshana nie zawiera żadnego kodu sterującego nadajnikiem. Nie ma ścieżki nadawczej SDR (żadnego wywołania nadawania UHD, HackRF, bladeRF ani Soapy) i żaden przebieg zagłuszający lub spoofingowy nie jest zapisywany do pliku przeznaczonego do odtwarzania.
- Pliki zapisywane przez Kshana (sceny IQ, nagrania SigMF i ION
.sdrx, eksporty NMEA i bench) opisują symulowane, legalne sygnały lub ruch, a metadane zapisywane przez Kshana dla sceny podają, że została zapisana przezkshana iq scene(komentarz ION.sdrxmówi, że jest to scena symulowana, a nie nagranie). - Gdy eksperyment wymaga RF na stanowisku bench, wytwarza go własny sprzęt operatora, we własnej obudowie operatora, na podstawie własnego upoważnienia operatora. Kshana zapisuje to, co według operatora zostało zrobione, i niczego nie wnioskuje.
Etapy#
Każdy etap podaje, co robi Kshana, jaki sprzęt jest zaangażowany, kto emituje RF (jeśli ktokolwiek) oraz bramkę, która musi być spełniona, zanim Kshana uzna wynik za dowód.
| Etap | Rola Kshana | Sprzęt | Emisja RF | Bramka | Stan w 0,38 |
|---|---|---|---|---|---|
| 0 | Pliki: dzienniki odtwarzania, IQ, eksporty bench, NMEA lub UBX na żywo przez stdin, TCP lub UDP | brak | brak | brak | dostarczone |
| 1 | Odbiór pasywny: odbiorniki tylko do odczytu; dzienniki czasu (linuxptp, chrony, TICC); CSV z IMU; iq monitor --follow na rosnącym pliku SigMF |
odbiorniki użytkownika, grandmaster, SDR w trybie odbioru | brak | każdy zapis konfiguracji do odbiornika wymaga jawnego --configure; domyślnie jest tylko do odczytu |
częściowo dostarczone: formaty dzienników czasu, holdover-test, iq monitor --follow; szeregowe wejście odbiornika jest planowane |
| 2 | Orkiestracja laboratorium bez RF z Kshana: specyfikacja warunków testu, kroki operatora (odłączenie anteny, uruchomienie symulatora) podpowiadane i opatrywane znacznikiem czasu, punktacja w obie strony i dowody | symulatory należące do laboratorium, ekranowane skrzynki | wyłącznie przez symulator laboratorium, przewodowo | podpisane lab-attestation (poniżej) zapisane w pakiecie dowodowym; Kshana odmawia punktowania przebiegu laboratoryjnego bez niego |
zapis jest zaimplementowany w pakietach dowodowych; odmowa punktowania bez niego jeszcze nie (nie istnieje polecenie przebiegu laboratoryjnego) |
| 3 | Przewodowe odtwarzanie legalnych scen IQ GNSS: Kshana zapisuje plik sceny, a użytkownik odtwarza go własnym narzędziem do kabla z tłumikami i badanego urządzenia w obudowie RF | SDR, tłumiki i obudowa użytkownika | wyłącznie przewodowo, odpowiedzialność użytkownika | brak kodu nadawczego w otwartym silniku; przebiegi zakłóceń i spoofingu pozostają poza zakresem; przegląd pod kątem kontroli eksportu; radca prawny | nie w otwartym silniku; pozycja edycji komercyjnej do zrealizowania z radcą prawnym |
| 4 | Sprzęt w pętli RF w czasie rzeczywistym, z zamkniętą pętlą | sprzęt partnera | partner | zamiast tego integrować przez specyfikację etapu 2 | nie jest planowane |
„Dostarczone” oznacza, że kod jest w tym wydaniu. Nic w tej tabeli nie mówi, że jakikolwiek etap został użyty z jakimkolwiek partnerem, laboratorium lub organem; żaden nie został.
Zasady#
- Produktem jest odbiór, a nadawanie nigdy nie wchodzi w skład otwartego kodu.
- Każda sesja ze sprzętem daje pakiet dowodowy ze skrótami danych wejściowych, warunków i użytych progów.
- Poświadczenie przewodowe lub ekranowane jest zapisywane, nigdy wnioskowane.
- Liczby pochodzące ze sprzętu pozostają MODELLED, dopóki niezależna wyrocznia zewnętrzna się z nimi nie zgodzi (na przykład laboratoryjna trajektoria wzorcowa lub zegar odniesienia). Próg zarejestrowany z góry nie jest luzowany po przebiegu.
- Anteny o kontrolowanej charakterystyce, jednostki inercjalne i atomowe zegary w skali układu scalonego traktuje się jako źródła danych (charakterystyki, dzienniki, opublikowane krzywe stabilności), a nie jako urządzenia, którymi Kshana steruje.
- Sformułowanie: wynik jest „zmierzony względem maski” albo „dostarcza dowodów na (supports evidence for)” wymaganie. Kshana nie twierdzi, że urządzenie spełnia normę, i nikt go nie ocenił ani nie zatwierdził.
Uwagi prawne (przegląd prawny przez właściciela oczekuje)#
Odbiór sygnałów GNSS jest legalny niemal wszędzie. Nadawanie w pasmach GNSS nie jest.
- Stany Zjednoczone. Umyślne zakłócanie łączności radiowej jest zakazane na mocy 47 U.S.C. §333, a FCC egzekwuje przepisy wobec zagłuszarek (https://www.fcc.gov/general/jammer-enforcement). Transmisja ze stanowiska bench może sięgnąć poza to stanowisko.
- Gdzie indziej. Opiekunowie nie przeglądali prawa innych krajów. Społeczność wokół gps-sdr-sim stwierdza, że nadawanie jego wyniku jest w większości krajów zabronione prawem; należy to przyjąć jako założenie robocze wszędzie tam, gdzie radca prawny nie powiedział inaczej.
- Układ ekranowany lub przewodowy to zabezpieczenie, a nie licencja. Poniższe poświadczenie zapisuje zabezpieczenie, które według operatora było zastosowane. Nie czyni ono żadnej emisji zgodną z prawem.
- Nagrywanie. Nagrywanie sygnałów radiowych może w niektórych miejscach rodzić pytania o prywatność i legalność.
iq monitor --followi każda recepta na przechwytywanie służą wyłącznie do odbioru, a operator odpowiada za to, gdzie i co nagrywa. - Kontrola eksportu. Oprogramowanie sprzętu w pętli, które steruje generatorami sygnału, może podlegać przepisom o kontroli eksportu. Dlatego etap 3 leży poza otwartym silnikiem.
- Nic tutaj nie jest poparciem ani umową. Żaden regulator, poligon testowy, laboratorium ani dostawca nie był konsultowany w sprawie tego dokumentu ani nie zgodził się na cokolwiek w nim zawartego.
Pole lab-attestation#
Dla etapu 2 i wyższych przebieg z udziałem sprzętu laboratoryjnego zawiera obiekt lab-attestation, zapisany w pakiecie dowodowym obok skrótów danych wejściowych. To oświadczenie wskazanego operatora, a nie pomiar, i Kshana go nie weryfikuje.
[lab-attestation] # or the same keys at the top level of the file
operator = "name or role of the person responsible" # required
organisation = "laboratory or company" # required
date = "2026-11-02" # required, the day of the session
setup = "conducted" # required: "conducted" or "shielded"
attenuation_db = 60.0 # required for "conducted": total, emitter to device
enclosure = "RF-shielded box, model and ID" # required for "shielded"
emitter = "laboratory-owned simulator, model" # required: what produced any RF
statement = "No emission outside the enclosure or cable path." # required, free text
signature = "ed25519:..." # optional: the operator's own detached signature, recorded as given
Co jest zaimplementowane w 0,38:
kshana receiver-trust evidence ... --lab-attestation <file.toml>sprawdza plik i zapisuje poświadczenie wmanifest.jsonpakietu. Manifest jest objęty podpisem Ed25519 pakietu, więc zapisu nie można edytować bez złamania weryfikacji. To samo jest dostępne jako argumentlab_attestationw Pythonowymevidence_createi argumentlab_attestation_tomlw narzędziu MCPcreate_evidence_pack(kompilacja przeglądarkowa nie tworzy pakietów).- Pakiet wykonany bez poświadczenia jest bajt po bajcie taki, jaki był wcześniej.
kshana evidence verifypodaje poświadczenie i mówi, że jest ono „attested by the named operator; not verified by Kshana”.- Poświadczenie niekompletne lub takie, w którym
setupnie ma wartościconductedanishielded(układ drogą radiową nie jest akceptowany jako przebieg laboratoryjny), jest odrzucane i pakiet nie powstaje.
Czego jeszcze nie zaimplementowano: reguły etapu 2, że Kshana odmawia punktowania przebiegu laboratoryjnego bez poświadczenia. W 0,38 żadne polecenie nie przyjmuje flagi przebiegu laboratoryjnego, więc nie ma czego odrzucać; reguła pojawi się wraz z poleceniami orkiestracji laboratorium. Poświadczenie zapisuje oświadczenie operatora o zabezpieczeniu. Nie czyni żadnej emisji zgodną z prawem i nie zmienia etykiety wyniku: punktowany przebieg laboratoryjny jest MODELLED, chyba że zgodzi się z nim wyrocznia zewnętrzna.
Co to oznacza dla współtwórcy#
- Nie dodawaj do otwartego silnika ścieżki nadawczej, zależności nadawczej ani przykładu nadawania.
- Nie dodawaj generatora przebiegów, którego wynikiem jest sygnał zagłuszający lub spoofingowy przeznaczony do odtwarzania.
- Nowe wejścia sprzętowe są domyślnie tylko do odczytu; zapis wymaga jawnej flagi i wiersza w tym pliku.
- Nowe polecenie, które dotyka sprzętu, trafia na każdą powierzchnię albo jest oznaczone N/A z uzasadnieniem w
SURFACES.md, i wskazuje tutaj swój etap.