Traduction automatique, non relue par un locuteur natif. L'anglais fait foi.

Compliance et test benchModifier sur GitHubSource : docs/compliance/dhs-rpcf.md

US DHS Resilient PNT Conformance Framework : ce en faveur de quoi Kshana apporte des éléments de preuve

Le cadre décrit des niveaux de résilience de 0 à 4 construits à partir de huit exigences numérotées, et une approche d'évaluation qui combine l'analyse statique et l'analyse dynamique, dans laquelle des vecteurs d'essai tiennent lieu de menaces. Il n'a pas de schéma d'identifiants d'exigences qui lui soit propre ; les références ci-dessous sont donc ses numéros de niveau et d'exigence et ses numéros de section. Il est fondé sur les résultats et ne catalogue pas les menaces.

Chaque ligne indique quelles sorties de Kshana apportent des éléments de preuve en faveur de l'exigence et ce qui reste. Rien ici ne dit qu'un cadre est satisfait ni qu'un produit a été évalué ou approuvé par qui que ce soit. Exécutez kshana compliance-report sur vos propres fichiers de résultats pour voir quelles lignes vos exécutions étayent réellement ; voir README.md.

Documents sources#

Correspondance#

Référence Ce qu'il demande (paraphrasé) Sorties de Kshana qui apportent des éléments de preuve en sa faveur Écart
Section 5,2 (Prevent, Respond, Recover) La résilience est décrite comme trois fonctions : prévenir le dommage, répondre (détecter, signaler, atténuer, contenir) et rétablir. La détection est probabiliste, de sorte que les fausses alarmes et les détections manquées comptent toutes deux. Évaluation de la confiance d'un journal de récepteur ; détection du leurrage et du meaconing ; holdover et marche à l'inertie La prévention est une propriété de conception du produit qu'aucune sortie de simulation ne montre. Les statistiques de détection d'une exécution synthétique ou d'une seule session ne sont pas un taux mesuré de fausses alarmes ou de détections manquées pour un produit déployé.
Niveau 1, exigence 1 Vérifier que les données stockées provenant de sources externes correspondent aux formats et aux plages de valeurs des normes pertinentes. aucun Une propriété d'assurance logicielle et de validation des entrées du produit testé. Kshana n'inspecte pas la gestion des entrées d'un produit.
Niveau 1, exigence 2 Permettre une récupération manuelle complète en effaçant ou en réinitialisant la mémoire, ce qui ramène le système à la performance définie une fois la menace disparue. Évaluation de la confiance d'un journal de récepteur Un journal de récepteur montre quand une position est devenue non fiable et quand elle s'est rétablie ; il ne montre pas qu'une réinitialisation manuelle efface tous les états stockés.
Niveau 1, exigence 3 Recharger ou mettre à jour le micrologiciel de façon sécurisée. aucun La sécurité de la mise à jour du micrologiciel est hors de ce qu'observe toute sortie de Kshana.
Niveau 2, exigence 4 Identifier les sources PNT compromises et les empêcher de corrompre la solution. Détection du leurrage et du meaconing ; évaluation de la confiance d'un journal de récepteur ; surveillance de l'intégrité et niveaux de protection Kshana note des détecteurs et des moniteurs qu'il modélise ou exécute sur un journal ; pour savoir si l'exclusion de sources propre à un produit fonctionne, il faut l'état interne du produit, et pas seulement son journal.
Niveau 2, exigence 5 Rétablir automatiquement les sources et le système sans interrompre la sortie ; une solution est encore fournie pendant la menace, avec une dégradation éventuellement non bornée. Holdover et marche à l'inertie ; évaluation de la confiance d'un journal de récepteur Les exécutions de holdover bornent une dérive modélisée pour un modèle d'horloge ou inertiel donné, et non le comportement de rétablissement propre au produit.
Niveau 3, exigence 6 Des données corrompues provenant d'une source ne doivent pas contaminer une autre source. Sources PNT alternatives et diversifiées Kshana exécute des sources côte à côte ; l'isolation des sources à l'intérieur d'un produit exige une revue de conception ou une injection de fautes dans le produit.
Niveau 3, exigence 7 Recouper les solutions de toutes les sources et maintenir la dégradation bornée pendant une menace. Surveillance de l'intégrité et niveaux de protection ; holdover et marche à l'inertie ; sources PNT alternatives et diversifiées Une dégradation bornée est montrée pour les capteurs modélisés ; le recoupement propre au produit n'est pas observé.
Niveau 4, exigence 8 Utiliser des sources de technologies différentes contre les menaces de mode commun, sans dégradation pendant la menace. Sources PNT alternatives et diversifiées ; effets du bilan de liaison de brouillage Un argument de mode commun exige l'ensemble de sources du produit réel et une menace qui les couvre ; un scénario en énonce une, il ne prouve pas que le produit n'a pas de faiblesse partagée.
Section 5,5 (mode commun) Des mécanismes diversifiés ne doivent pas partager une faiblesse : par exemple, un brouilleur qui couvre deux bandes met en échec la diversité de bandes. Effets du bilan de liaison de brouillage ; notation de la résilience sur des ensembles de menaces ; sources PNT alternatives et diversifiées La notation utilise un ensemble de menaces synthétique, énoncé comme tel ; ce ne sont pas des données de terrain.
Sections 8,1 à 8,3 (évaluation) L'évaluation combine l'analyse statique et l'analyse dynamique, où des vecteurs d'essai tiennent lieu de menaces ; les classes d'essai sont la défaillance de source, l'interférence et les pannes internes. Les simulateurs sont nommés comme méthode d'essai. Évaluation de la confiance d'un journal de récepteur ; effets du bilan de liaison de brouillage ; détection du leurrage et du meaconing Le mouvement et les événements exportés peuvent piloter un simulateur de laboratoire (docs/TEST-BENCH.md). Kshana n'écrit aucun signal ; le simulateur et son opérateur autorisé fournissent donc la menace.
Section 8,6 (éléments d'un plan d'essai) Un plan d'essai indique le niveau, l'exigence, les entrées, les références, l'accès aux données nécessaire, la procédure avec critères de réussite ou d'échec, les résultats et les notes. Provenance d'exécution reproductible ; évaluation de la confiance d'un journal de récepteur Les critères de réussite ou d'échec sont choisis par l'évaluateur ; Kshana consigne les entrées, les seuils et les hachages avec lesquels il a travaillé.