Traducción automática, no revisada por un hablante nativo. El inglés es la referencia.

Compliance y test benchEditar en GitHubFuente: docs/compliance/dhs-rpcf.md

US DHS Resilient PNT Conformance Framework: a favor de qué aporta evidencias Kshana

El marco describe niveles de resiliencia del 0 al 4 construidos a partir de ocho requisitos numerados, y un enfoque de evaluación que combina el análisis estático con un análisis dinámico en el que vectores de prueba sustituyen a las amenazas. No tiene un esquema propio de identificadores de requisitos, de modo que las referencias que siguen son sus números de nivel y de requisito y sus números de sección. Está basado en resultados y no cataloga amenazas.

Cada fila indica qué salidas de Kshana aportan evidencias a favor de el requisito y qué queda pendiente. Nada de lo aquí expuesto dice que un marco se satisfaga ni que ningún producto haya sido calificado o aprobado por nadie. Ejecute kshana compliance-report sobre sus propios archivos de resultados para ver qué filas respaldan realmente sus ejecuciones; véase README.md.

Documentos fuente#

Correspondencia#

Referencia Qué exige (parafraseado) Salidas de Kshana que aportan evidencias a favor de ello Brecha
Sección 5,2 (Prevent, Respond, Recover) La resiliencia se describe como tres funciones: prevenir el daño, responder (detectar, notificar, mitigar, contener) y recuperarse. La detección es probabilística, por lo que importan tanto las falsas alarmas como las detecciones fallidas. Evaluación de la confianza del registro del receptor; Detección de spoofing y meaconing; Holdover y marcha libre La prevención es una propiedad del diseño del producto que ninguna salida de simulación muestra. Las estadísticas de detección de una ejecución sintética o de una sola sesión no son una tasa medida de falsas alarmas o de detecciones fallidas de un producto en servicio.
Nivel 1, requisito 1 Comprobar que los datos almacenados que llegan de fuentes externas se ajustan a los formatos y a los intervalos de valores de las normas pertinentes. ninguna Una propiedad de garantía de software y de validación de entradas del producto sometido a prueba. Kshana no inspecciona el tratamiento de entradas de un producto.
Nivel 1, requisito 2 Permitir una recuperación manual completa borrando o reiniciando la memoria, devolviendo el sistema a un rendimiento definido una vez desaparecida la amenaza. Evaluación de la confianza del registro del receptor Un registro de receptor muestra cuándo una posición dejó de ser fiable y cuándo se recuperó; no muestra que un reinicio manual borre todos los estados almacenados.
Nivel 1, requisito 3 Recargar o actualizar el firmware de forma segura. ninguna La seguridad de la actualización del firmware queda fuera de lo que observa cualquier salida de Kshana.
Nivel 2, requisito 4 Identificar las fuentes PNT comprometidas e impedir que corrompan la solución. Detección de spoofing y meaconing; Evaluación de la confianza del registro del receptor; Monitorización de la integridad y niveles de protección Kshana puntúa detectores y monitores que modela o que ejecuta sobre un registro; que funcione la exclusión de fuentes propia de un producto exige el estado interno del producto, no solo su registro.
Nivel 2, requisito 5 Recuperar las fuentes y el sistema automáticamente sin interrumpir la salida; se sigue proporcionando una solución durante la amenaza, con una degradación posiblemente no acotada. Holdover y marcha libre; Evaluación de la confianza del registro del receptor Las ejecuciones de holdover acotan la deriva modelada de un modelo de reloj o inercial indicado, no el comportamiento de recuperación propio del producto.
Nivel 3, requisito 6 Los datos corruptos de una fuente no deben contaminar a otra fuente. Fuentes PNT alternativas y diversas Kshana ejecuta las fuentes en paralelo; el aislamiento de fuentes dentro de un producto exige una revisión del diseño o la inyección de fallos en el producto.
Nivel 3, requisito 7 Verificar de forma cruzada las soluciones de todas las fuentes y mantener acotada la degradación durante una amenaza. Monitorización de la integridad y niveles de protección; Holdover y marcha libre; Fuentes PNT alternativas y diversas La degradación acotada se muestra para los sensores modelados; no se observa la verificación cruzada propia del producto.
Nivel 4, requisito 8 Usar fuentes de tecnologías distintas frente a amenazas de modo común, sin degradación durante la amenaza. Fuentes PNT alternativas y diversas; Efectos del balance del enlace en jamming Un argumento de modo común exige el conjunto real de fuentes del producto y una amenaza que las abarque; un escenario establece una, pero no demuestra que el producto carezca de una debilidad compartida.
Sección 5,5 (modo común) Los mecanismos diversos no deben compartir una debilidad: por ejemplo, un jammer que cubra dos bandas anula la diversidad de bandas. Efectos del balance del enlace en jamming; Puntuación de resiliencia sobre conjuntos de amenazas; Fuentes PNT alternativas y diversas La puntuación usa un conjunto de amenazas sintético, indicado como tal; no son datos de campo.
Secciones 8,1 a 8,3 (evaluación) La evaluación combina el análisis estático con un análisis dinámico en el que vectores de prueba sustituyen a las amenazas; las clases de prueba son el fallo de fuente, la interferencia y los fallos internos. Se nombra a los simuladores como método de prueba. Evaluación de la confianza del registro del receptor; Efectos del balance del enlace en jamming; Detección de spoofing y meaconing El movimiento y los sucesos exportados pueden impulsar un simulador de laboratorio (docs/TEST-BENCH.md). Kshana no escribe ninguna señal, por lo que el simulador y su operador autorizado aportan la amenaza.
Sección 8,6 (elementos del plan de pruebas) Un plan de pruebas indica el nivel, el requisito, las entradas, las referencias, el acceso a datos necesario, el procedimiento con criterios de aprobación o fallo, los resultados y las notas. Procedencia reproducible de la ejecución; Evaluación de la confianza del registro del receptor Los criterios de aprobación o fallo los elige el evaluador; Kshana registra las entradas, los umbrales y los hashes con los que se ejecutó.