View a markdown version of this page

驗證和分析概觀 - Amazon Bedrock AgentCore

驗證和分析概觀

結構描述檢查

結構描述檢查會驗證政策是否符合閘道的 Cedar 結構描述:

  • 結構描述合規 — 檢查政策是否參考有效的動作 (工具)、使用正確的資料類型,以及僅存取定義的內容欄位

  • 類型安全 — 確保參數類型符合閘道的工具定義

語意驗證 (自動化推理)

語意驗證使用自動推理來偵測潛在的安全和邏輯問題:

  • 過度寬鬆政策 — 如果建立,政策引擎將允許指定委託人、動作和資源組合的所有請求

  • 過度限制政策 — 如果建立,政策引擎將拒絕指定委託人、動作和資源組合的所有請求

  • 無效政策 — 如果建立,政策不會有任何影響:允許政策不允許任何請求,或禁止政策不會拒絕任何請求。這適用於產生期間的政策層級,不適用於政策引擎層級

驗證模式

validationMode 參數控制語意驗證是否在政策建立和更新期間執行。它不會影響一律執行的結構描述檢查。

  • FAIL_ON_ANY_FINDINGS (預設) — 結構描述檢查和語意驗證執行。如果任一 產生問題清單,則會拒絕政策。

  • IGNORE_ALL_FINDINGS — 僅執行結構描述檢查。只要政策通過結構描述檢查,就會接受政策。這不建議用於生產,因為語意驗證會捕捉單獨結構描述檢查無法偵測的安全性和邏輯問題。