可證明的安全性

經過數學論證的安全保證

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

什麼是自動推理? (2:56)

運作方式

我們在儲存、網路、虛擬化、身分和密碼學等關鍵服務領域運用自動化推理。您可以在 Amazon CodeGuru、Amazon Simple Storage Service (Amazon S3)、AWS Identity and Access Management (IAM)、Amazon VPC Network Access Analyzer 和 Amazon VPC Reachability Analyzer 中看到自動化推理發揮作用。
  • 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 網路中的可行路徑,並解釋不可行路徑。

研究與洞察

每天 10 億次 SMT 查詢

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

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

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


探索更多 AWS 服務