Provable Security - Amazon Web Services

AWS is committed to helping you achieve the highest levels of security in the cloud. Using automated reasoning, the application of mathematical logic to help answer critical questions about your infrastructure, AWS is able to detect entire classes of misconfigurations that could potentially expose vulnerable data. We call this provable security, and it provides higher assurance in security of the cloud and in the cloud.