Les traductions sont fournies par des outils de traduction automatique. En cas de conflit entre le contenu d'une traduction et celui de la version originale en anglais, la version anglaise prévaudra.
Présentation de la validation et de l'analyse
Contrôles de schéma
Les vérifications de schéma permettent de vérifier que les politiques sont conformes au schéma Cedar pour vos passerelles :
-
Conformité des schémas : vérifie que les politiques font référence à des actions (outils) valides, utilisent des types de données corrects et n'accèdent qu'aux champs contextuels définis
-
Sécurité des types : garantit que les types de paramètres correspondent aux définitions des outils de la passerelle
Validation sémantique (raisonnement automatique)
La validation sémantique utilise un raisonnement automatique pour détecter les problèmes de sécurité et de logique potentiels :
-
Politiques trop permissives : s'il est créé, le moteur de politiques autorisera toutes les demandes pour la combinaison de principal, d'action et de ressource spécifiée
-
Politiques trop restrictives : s'il est créé, le moteur de politiques refusera toutes les demandes concernant la combinaison de principal, d'action et de ressource spécifiée
-
Politiques inefficaces : si elle est créée, la politique n'a aucun impact : une politique d'autorisation n'autorise aucune demande, ou une politique d'interdiction ne refuse aucune demande. Cela s'applique au niveau de la stratégie lors de la génération, et non au niveau du moteur de stratégie
Modes de validation
Le validationMode paramètre contrôle si la validation sémantique est exécutée lors de la création et des mises à jour des politiques. Cela n'affecte pas les vérifications de schéma, qui s'exécutent toujours.
-
FAIL_ON_ANY_FINDINGS(par défaut) — Les vérifications de schéma et la validation sémantique sont exécutées. Si l'un ou l'autre produit des résultats, la politique est rejetée. -
IGNORE_ALL_FINDINGS— Seules les vérifications de schéma sont exécutées. Les politiques sont acceptées tant qu'elles réussissent les vérifications de schéma. Cela n'est pas recommandé pour la production car la validation sémantique permet de détecter les problèmes de sécurité et de logique que les vérifications de schéma ne peuvent détecter à elles seules.
