可證明的安全性

經過數學論證的安全保證

我們致力於協助您實現雲端中最高級別的安全性。我們開發了自動推理工具，這些工具使用數學邏輯來回答有關您的基礎設施的關鍵問題，以偵測可能會導致資料泄漏的錯誤組態。我們將這稱為可證明的安全性，這為雲端本身和雲端中內容的安全性提供了更高級別的保證。

可證明的安全性功能
可證明的安全性資源
什麼是自動推理？ (2:56)

運作方式

我們在儲存、網路、虛擬化、身分和密碼學等關鍵服務領域運用自動化推理。您可以在 Amazon CodeGuru、Amazon Simple Storage Service (Amazon S3)、AWS Identity and Access Management (IAM)、Amazon VPC 網路存取分析器、Amazon VPC Reachability Analyzer 和 Amazon Verified Permissions 中看到自動化推理發揮作用。
  • Amazon CodeGuru

  • Amazon CodeGuru Reviewer 使用機器學習和自動化推理來識別應用程式開發過程中的關鍵問題、安全漏洞和難以發現的錯誤。它還提供有關提高程式碼品質的建議。

  • Amazon S3 Block Public Access

  • S3 Block Public Access 使用自動推理在整個 AWS 帳戶或單個 Amazon S3 儲存貯體級別提供控制，以協助確保物件現在或將來永遠不會接受公用存取。

  • IAM Access Analyzer

  • AWS Identity and Access Management (IAM) Access Analyzer 使用自動推理來分析對資源的所有公用和跨帳戶存取路徑，並提供對這些路徑的全面分析。

  • Amazon VPC Network Access Analyzer

  • Network Access Analyzer 使用自動推理來識別您的 AWS 網路中的可達路徑並驗證安全不變數。

  • Amazon VPC Reachability Analyzer

  • Reachability Analyzer 使用自動推理，來識別 AWS 網路中的可行路徑，並解釋不可行路徑。

  • Amazon Verified Permissions

  • Amazon Verified Permissions 使用自動化推理為應用程式使用者定義精細許可。

研究與洞察

每天 10 億次 SMT 查詢

在本次電腦輔助驗證 (CAV) 會議主題演講中，AWS Identity 應用科學主管 Neha Rungta 介紹了 AWS 如何將自動推理的強大功能提供給所有客戶。

有興趣在 AWS 自動推理小組實習？

想要解決某些最具挑戰性的雲端安全性問題？

請聯絡我們！

探索更多 AWS 服務