Las traducciones son generadas a través de traducción automática. En caso de conflicto entre la traducción y la version original de inglés, prevalecerá la version en inglés.
Descripción general de la validación y el análisis
Comprobaciones de esquemas
Las comprobaciones del esquema verifican que las políticas cumplen con el esquema Cedar para sus pasarelas:
-
Cumplimiento del esquema: comprueba que las políticas hacen referencia a acciones válidas (herramientas), utilizan los tipos de datos correctos y acceden solo a los campos de contexto definidos
-
Seguridad de tipos: garantiza que los tipos de parámetros coincidan con las definiciones de las herramientas de la puerta de enlace
Validación semántica (razonamiento automático)
La validación semántica utiliza un razonamiento automatizado para detectar posibles problemas de seguridad y lógica:
-
Políticas demasiado permisivas: si se crean, el motor de políticas permitirá todas las solicitudes para la combinación de principal, acción y recurso especificada
-
Políticas demasiado restrictivas: si se crean, el motor de políticas rechazará todas las solicitudes de la combinación de principal, acción y recurso especificada
-
Políticas ineficaces: si se crean, la política no tiene ningún impacto: una política de permisos no permite ninguna solicitud o una política de prohibición no rechaza ninguna solicitud. Esto se aplica a nivel de la política durante la generación, no al nivel del motor de políticas
Modos de validación
El validationMode parámetro controla si la validación semántica se ejecuta durante la creación y actualización de políticas. No afecta a las comprobaciones de esquema, que siempre se ejecutan.
-
FAIL_ON_ANY_FINDINGS(predeterminado): se ejecutan tanto las comprobaciones del esquema como la validación semántica. Si alguna de ellas arroja resultados, se rechaza la política. -
IGNORE_ALL_FINDINGS— Solo se ejecutan las comprobaciones de esquema. Las políticas se aceptan siempre que superen las comprobaciones de esquema. Esto no se recomienda para la producción porque la validación semántica detecta problemas de seguridad y lógica que las comprobaciones de esquema por sí solas no pueden detectar.
