可证明安全性 Provable Security

我们致力于帮助您实现最高级别的云安全。我们开发了自动推理工具，利用数学逻辑回答有关您基础设施的关键问题，以检测可能暴露您数据的错误配置。我们称之为可证明安全性，因为它为云和云中的安全性提供了更高的保证。

自动推理功能和工具可帮助您实现应用程序的可证明安全性，这意味着云和云中的安全性有了更高的保证。

代码

使用自动推理检测代码中的安全漏洞

Amazon CodeGuru Reviewer：https://aws.amazon.com/codeguru/

权限和授权

通过自动推理大规模定义、监控和管理权限

Amazon Verified Permissions：https://aws.amazon.com/verified-permissions/

Cedar：https://www.cedarpolicy.com/

IAM Access Analyzer：https://aws.amazon.com/iam/access-analyzer/

Amazon S3 Block Public Access：https://aws.amazon.com/s3/features/block-public-access/

网络

Amazon VPC Network Access Analyzer：https://docs.aws.amazon.com/vpc/latest/network-access-analyzer/what-is-network-access-analyzer.html

Amazon VPC Reachability Analyzer：https://docs.aws.amazon.com/vpc/latest/reachability/how-reachability-analyzer-works.html

Amazon Inspector Network Reachability：https://docs.aws.amazon.com/inspector/v1/userguide/inspector_network-reachability.html

参考资料

AWS-https://aws.amazon.com/security/provable-security/