機械翻訳であり、ネイティブスピーカーによる確認は行われていません。英語版が基準です。

シナリオ種別のページGitHub で編集ソース：docs/kinds/by-kind/spoof-detect.md

spoof-detect（シナリオ種別）

エンジン v0.40.0 のシナリオ種別で、ファミリーはジャミング、スプーフィング、スペクトラムです。助言のみ：研究・エンジニアリング用ツールによる解析出力であり、型式承認を受けた航法装置ではなく、人命安全（safety-of-life）サービスでもありません。ここにあるラベルはすべてエンジンまたは検証マトリクスによるものです；検証マトリクスが別途示さない限り、種別は MODELLED です（ラベルの獲得方法：README の Evidence の節）。

内容#

RF と測定値を組み合わせたスプーフィング検出器（複数 SV の RAIM 整合性 + AGC + SQM を融合）を、パラメーター化した攻撃（電力優位、搬送波位相の整合、時刻・位置の押し出し；TEXBAT 方式）に対して評価します。

scenarios/spoof-detect.toml の一回の実行の要約：scenario e046ee4ca90a | spoof-detect | 8 SVs, +1.5 dB | Position push | fused score 0.70 (thr 0.50) | SPOOF DETECTED (fused) — layers: RAIM+SQM

入力#

スキーマ（kshana kinds --json）より：

  • 必須フィールド：attack
  • 任意フィールド：satellites、detector

例 scenarios/spoof-detect.toml では、とりわけ次を設定しています：

フィールド 値 単位
attack.carrier_aligned false フラグ
attack.el_imbalance 0.12 1
attack.num_biased 3 個数
attack.power_advantage_db 1.5 dB
attack.push 位置 テキスト
attack.push_magnitude_m 75 m
detector.agc_margin_db 3 dB
detector.fusion_threshold 0.5 記載なし
detector.raim_p_fa 0.001 記載なし
detector.sat_power_dbm -130 dBm
detector.sigma_m 5 m
detector.sqm_tolerance 0.1 記載なし

実行する#

kshana scenarios/spoof-detect.toml

同梱のシナリオのうち2個がこの種類を使用しています。その他はscenarios/にあります。

得られるもの#

その実行のスカラー結果。単位はエンジンが示すとおりです：

結果 値 単位
attack.carrier_aligned false フラグ
attack.el_imbalance 0.12 1
attack.num_biased 3 個数
attack.power_advantage_db 1.5 dB
attack.push 位置 テキスト
attack.push_magnitude_m 75 m
decision.agc_excess_db 1.5 dB
decision.fused.alert true フラグ
decision.fused.layers.agc false フラグ
decision.fused.layers.raim true フラグ
エンジンが scenarios/spoof-detect.toml（種別 spoof-detect）に対して出力するグラフ

エビデンス#

MODELLED：この種類を挙げている検証マトリクスの行。

  • MODELLED クロック支援 χ²、RAIM、AGC、SQM を融合したエポックごとのセキュリティ性能指標 テスト：spoof_texbat_validation.rs。

実行そのものが検証した行と、マトリクスが各行に示すオラクル（公開ソースはそこに記載されています）：

  • MODELLED時計支援の χ²、RAIM、AGC、SQMをエポックごとに融合したセキュリティFoM。オラクル（ExternalDataset）：TEXBATのシナリオパラメーター（Humphreys 2012）— 特性評価であり、固定したベクトルではありません。0.30外部比較、所見（MODELLEDのまま）：JammerTest 2024（Bleik、GPL-3.0のデータ）では、観測量レベルのモニター（時計支援のカイ二乗、RAIM、解の失敗）は、評価可能な公表済みスプーフィング開始8件のいずれについても10秒以内に警報を出しませんでした（開始前のウィンドウがクリーンだった場合、最初の警報は10.2〜39秒後に出ました。公
  • MODELLED決定論的、シナリオハッシュ付き、SBOMとクロスプラットフォームのゴールデンゲート。オラクル（ExternalDataset）：公式のCycloneDX 1.5 JSON Schema（および有効なSPDX識別子）へのSBOM適合性。これは外部の公開標準であり、依存関係グラフ全体で検証エラーはゼロです。FoMの決定論性とバイト単位の再現性の部分は固定された自己整合性チェックのままであるため、この行はMODELLEDのままです
  • PARTNER提供しません — Kshanaは信号性能をモデル化するものであり、ペイロード／アンテナのハードウェアではありません。オラクル（NoneKind）：なし：パートナーが所管する分野であり、設計上、モジュールもテストもありません

制限事項#

実行そのものの報告が、モデル化されていない、または検証されていないとしている内容：

  • スプーフィングの検出はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））
  • 再現性とソフトウェア保証はMODELLEDであり、独立した外部の参照との照合はされていません。サブクレームの 一つは外部で確認されていますが、機能全体はモデルから計算した要素を組み合わせているため、この機能はモデルから計算したものにとどまります。（検証マトリクス（docs/MODELLED-RATIONALE.md））

関連項目#