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

compliance と試験benchGitHub で編集ソース：docs/compliance/dhs-rpcf.md

米国 DHS のレジリエント PNT 適合性フレームワーク：Kshana が証拠を裏付ける範囲

このフレームワークは、番号付きの八つの要件から成るレジリエンスレベル 0 から 4 と、静的解析と動的解析を組み合わせた評価手法を示しています。動的解析では、テストベクトルが脅威の代わりを務めます。独自の要件識別子体系はないため、以下の参照は、そのレベルと要件の番号、およびセクション番号です。成果に基づくフレームワークであり、脅威を網羅的に列挙するものではありません。

各行は、どの Kshana の出力がその要件の証拠を裏付ける（supports evidence for）のか、そして何が残るのかを示しています。ここに書かれていることは、フレームワークが満たされたこと、あるいはいずれかの製品が誰かによって格付けまたは承認されたことを意味するものではありません。ご自身の結果ファイルに対して kshana compliance-report を実行すると、どの行について実際の実行が証拠を示しているかを確認できます。README.md を参照してください。

出典文書#

対応表#

リファレンス 求めている内容（言い換え） その証拠を裏付ける Kshana の出力 ギャップ
セクション 5.2（Prevent、Respond、Recover） レジリエンスは三つの機能として記述されています。害を防ぐこと、対応すること（検出、報告、緩和、封じ込め）、そして回復することです。検出は確率的であるため、誤警報と見逃しの両方が問題になります。 受信機ログの信頼性評価、スプーフィングとミーコニングの検出、ホールドオーバーとコースティング 防止は製品設計上の性質であり、どのシミュレーション出力もそれを示すものではありません。合成データによる実行や単一セッションの実行から得られた検出統計は、実運用の製品について測定された誤警報率や見逃し率ではありません。
レベル 1、要件 1 外部ソースから届いて保存されるデータが、関連する標準の形式と値の範囲に合致していることを確認する。 なし 試験対象の製品における、ソフトウェア保証と入力検証の性質です。Kshana は製品の入力処理を検査しません。
レベル 1、要件 2 メモリのクリアまたはリセットによる完全な手動復旧を可能にし、脅威がなくなった時点でシステムを定義された性能に戻す。 受信機ログの信頼性評価 受信機ログからは、測位解がいつ信頼できなくなり、いつ回復したかが分かります。手動リセットによってすべての保存状態が消去されることまでは分かりません。
レベル 1、要件 3 ファームウェアを安全に再ロードまたは更新する。 なし ファームウェア更新のセキュリティは、Kshana のどの出力も観測する範囲の外にあります。
レベル 2、要件 4 侵害された PNT ソースを特定し、それらが解を損なうのを防ぐ。 スプーフィングとミーコニングの検出、受信機ログの信頼性評価、インテグリティ監視と保護レベル Kshana は、モデル化した、あるいはログに対して実行した検出器とモニターを採点します。製品自身のソース除外が機能するかどうかは、ログだけでなく製品の内部状態が必要です。
レベル 2、要件 5 出力を中断することなく、ソースとシステムを自動的に回復させる。脅威の間も解は提供され続けるが、劣化には上限がない場合がある。 ホールドオーバーとコースティング、受信機ログの信頼性評価 ホールドオーバーの実行が上限を与えるのは、指定した時計または慣性モデルについてモデル化したドリフトであり、製品自身の回復動作ではありません。
レベル 3、要件 6 一つのソースの破損したデータが、別のソースを汚染してはならない。 代替および多様な PNT ソース Kshana はソースを並べて実行します。製品内部でのソースの分離には、設計レビュー、または製品に対するフォールト注入が必要です。
レベル 3、要件 7 すべてのソースの解を相互検証し、脅威の間の劣化を上限内に保つ。 インテグリティ監視と保護レベル、ホールドオーバーとコースティング、代替および多様な PNT ソース 上限内の劣化が示されるのは、モデル化したセンサーについてです。製品自身の相互チェックは観測されません。
レベル 4、要件 8 共通モードの脅威に対して、異なる技術のソースを使い、脅威の間も劣化がないようにする。 代替および多様な PNT ソース、ジャミングのリンクバジェットへの影響 共通モードの論証には、実際の製品のソース構成と、それらにまたがる脅威が必要です。シナリオはその一例を示すにとどまり、製品に共有された弱点がないことを証明するものではありません。
セクション 5.5（共通モード） 多様な仕組みが弱点を共有してはならない。たとえば、二つの帯域を覆うジャマーは、帯域の多様性を無効にする。 ジャミングのリンクバジェットへの影響、脅威アンサンブルによるレジリエンス採点、代替および多様な PNT ソース 採点には合成の脅威アンサンブルを使用しており、その旨を明記しています。実地データではありません。
セクション 8.1 から 8.3（評価） 評価では、静的解析と、テストベクトルが脅威の代わりを務める動的解析を組み合わせます。テストの種別は、ソースの故障、干渉、内部故障です。シミュレーターは試験方法として挙げられています。 受信機ログの信頼性評価、ジャミングのリンクバジェットへの影響、スプーフィングとミーコニングの検出 出力した運動とイベントで、ラボ用シミュレーターを駆動できます（docs/TEST-BENCH.md）。Kshana は信号を書き出さないため、脅威はシミュレーターとその認可された運用者が用意します。
セクション 8.6（テスト計画の要素） テスト計画には、レベル、要件、入力、参照、必要なデータアクセス、合否基準を伴う手順、結果、備考を記載する。 再現可能な実行の来歴、受信機ログの信頼性評価 合否基準は評価者が選びます。Kshana は、実行に使った入力、しきい値、ハッシュを記録します。