AWS re:Inforce 2019: An AWS Approach to Higher Standards of Assurance w/ Provable Security (FND214)
In this session, learn about the AWS provable security initiative, a collection of automated reasoning technologies that help prove the correctness of key security components both in and out of the cloud. Also learn about AWS tools, such as Tiros and Zelkova, that reason with respect to AWS IAM governance and networks, and are setting new standards for how to protect virtualization layers of the cloud. Further, we discuss how these technologies can help customers remain secure both today and in the future.

Complete Title: AWS re:Inforce 2019: An AWS Approach to Higher Standards of Assurance with Provable Security (FND214)

View on YouTube