Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Compliance и test benchПравить на GitHubИсточник: docs/compliance/dhs-rpcf.md

US DHS Resilient PNT Conformance Framework: что Kshana подкрепляет доказательствами

Документ описывает уровни устойчивости от 0 до 4, построенные из восьми пронумерованных требований, и подход к оценке, сочетающий статический анализ с динамическим, в котором тестовые векторы заменяют угрозы. В нём нет собственной схемы идентификаторов требований, поэтому ссылки ниже — это номера его уровней и требований и номера разделов. Подход основан на результатах и не каталогизирует угрозы.

В каждой строке указано, какие выходные данные Kshana подкрепляют доказательствами требование и что остаётся за их пределами. Ничто здесь не утверждает, что требования каркаса выполнены или что какое-либо изделие кем-либо оценено или одобрено. Запустите kshana compliance-report на собственных файлах результатов, чтобы увидеть, какие строки ваши прогоны действительно подкрепляют доказательствами; см. README.md.

Исходные документы#

Сопоставление#

Справочник Что требуется (в пересказе) Выходные данные Kshana, подкрепляющие это доказательствами Пробел
Раздел 5,2 (Prevent, Respond, Recover) Устойчивость описывается тремя функциями: предотвращение вреда, реагирование (обнаружение, сообщение, смягчение, локализация) и восстановление. Обнаружение вероятностное, поэтому важны и ложные тревоги, и пропуски обнаружения. Оценка доверия по журналу приёмника; Обнаружение спуфинга и meaconing; Holdover и инерциальное удержание Предотвращение — это свойство проектирования изделия, которое не показывает ни один результат моделирования. Статистика обнаружения по синтетическому прогону или прогону одного сеанса не является измеренной частотой ложных тревог или пропусков для изделия в эксплуатации.
Уровень 1, требование 1 Проверять, что сохранённые данные, поступающие из внешних источников, соответствуют форматам и диапазонам значений соответствующих стандартов. нет Свойство гарантии качества программного обеспечения и проверки входных данных изделия, подлежащего испытанию. Kshana не проверяет обработку входных данных изделия.
Уровень 1, требование 2 Допускать полное ручное восстановление путём очистки или сброса памяти, возвращая систему к определённым характеристикам после исчезновения угрозы. Оценка доверия по журналу приёмника Журнал приёмника показывает, когда определение местоположения перестало быть доверенным и когда оно восстановилось; он не показывает, что ручной сброс очищает каждое сохранённое состояние.
Уровень 1, требование 3 Безопасно перезагружать или обновлять встроенное ПО. нет Безопасность обновления встроенного ПО лежит вне того, что наблюдают выходные данные Kshana.
Уровень 2, требование 4 Выявлять скомпрометированные источники PNT и не давать им искажать решение. Обнаружение спуфинга и meaconing; Оценка доверия по журналу приёмника; Мониторинг целостности и уровни защиты Kshana оценивает детекторы и мониторы, которые он моделирует или запускает над журналом; чтобы определить, работает ли собственное исключение источников изделия, нужно внутреннее состояние изделия, а не только его журнал.
Уровень 2, требование 5 Автоматически восстанавливать источники и систему без прерывания выдачи; решение по-прежнему предоставляется во время угрозы, возможно, с неограниченной деградацией. Holdover и инерциальное удержание; Оценка доверия по журналу приёмника Прогоны holdover ограничивают смоделированный дрейф для заданной модели часов или инерциальной системы, а не собственное поведение изделия при восстановлении.
Уровень 3, требование 6 Искажённые данные одного источника не должны загрязнять другой источник. Альтернативные и разнородные источники PNT Kshana запускает источники рядом друг с другом; для изоляции источников внутри изделия нужны проектная экспертиза или внесение неисправностей в изделие.
Уровень 3, требование 7 Перекрёстно проверять решения всех источников и удерживать деградацию во время угрозы в заданных пределах. Мониторинг целостности и уровни защиты; Holdover и инерциальное удержание; Альтернативные и разнородные источники PNT Ограниченная деградация показана для смоделированных датчиков; собственная перекрёстная проверка изделия не наблюдается.
Уровень 4, требование 8 Использовать источники разных технологий против угроз общего типа, без деградации во время угрозы. Альтернативные и разнородные источники PNT; Влияние подавления (jamming) на бюджет линии Аргумент об угрозах общего типа требует набора источников реального изделия и угрозы, охватывающей их; сценарий задаёт одну такую угрозу, но не доказывает, что у изделия нет общей слабости.
Раздел 5,5 (общий тип) Разнородные механизмы не должны иметь общей слабости: например, источник подавления, перекрывающий два диапазона, сводит на нет разнесение по диапазонам. Влияние подавления (jamming) на бюджет линии; Оценка устойчивости по ансамблям угроз; Альтернативные и разнородные источники PNT Оценка использует синтетический ансамбль угроз, о чём сказано прямо; это не полевые данные.
Разделы от 8,1 до 8,3 (оценка) Оценка сочетает статический анализ с динамическим, в котором тестовые векторы заменяют угрозы; классы испытаний — отказ источника, помехи и внутренние неисправности. Имитаторы названы как метод испытаний. Оценка доверия по журналу приёмника; Влияние подавления (jamming) на бюджет линии; Обнаружение спуфинга и meaconing Экспортированные движение и события могут управлять лабораторным имитатором (docs/TEST-BENCH.md). Kshana не записывает сигнал, поэтому угрозу создают имитатор и его уполномоченный оператор.
Раздел 8,6 (элементы плана испытаний) План испытаний указывает уровень, требование, входные данные, ссылки, необходимый доступ к данным, процедуру с критериями прохождения или непрохождения, результаты и примечания. Происхождение воспроизводимого прогона; Оценка доверия по журналу приёмника Критерии прохождения или непрохождения выбирает оценивающая сторона; Kshana записывает входные данные, пороги и хеши, с которыми выполнял прогон.