検証と分析の概要
スキーマチェック
スキーマチェックでは、ポリシーがゲートウェイの Cedar スキーマに準拠していることを確認します。
-
スキーマコンプライアンス — ポリシーが有効なアクション (ツール) を参照し、正しいデータ型を使用し、定義されたコンテキストフィールドのみにアクセスすることを確認します
-
型の安全性 — パラメータ型がゲートウェイのツール定義と一致することを確認します
セマンティック検証 (自動推論)
セマンティック検証では、自動推論を使用して潜在的なセキュリティとロジックの問題を検出します。
-
過度に寛容なポリシー — 作成した場合、ポリシーエンジンは指定されたプリンシパル、アクション、リソースの組み合わせに対するすべてのリクエストを許可します。
-
過度に制限されたポリシー — 作成した場合、ポリシーエンジンは指定されたプリンシパル、アクション、リソースの組み合わせに対するすべてのリクエストを拒否します。
-
無効なポリシー — 作成された場合、ポリシーは影響しません。許可ポリシーはリクエストを許可しないか、禁止ポリシーはリクエストを拒否しません。これは、ポリシーエンジンレベルではなく、生成中のポリシーレベルで適用されます。
検証モード
validationMode パラメータは、ポリシーの作成および更新中にセマンティック検証を実行するかどうかを制御します。スキーマチェックには影響しません。スキーマチェックは常に実行されます。
-
FAIL_ON_ANY_FINDINGS(デフォルト) — スキーマチェックとセマンティック検証実行の両方。いずれかの が結果を生成する場合、ポリシーは拒否されます。 -
IGNORE_ALL_FINDINGS— スキーマチェックのみが実行されます。ポリシーは、スキーマチェックに合格する限り受け入れられます。セマンティック検証は、スキーマチェックだけでは検出できないセキュリティとロジックの問題を検出するため、本番稼働用にはお勧めしません。