AWS re:Inforce 2024 - Provably secure authorization (SEC201-INT)

Automated reasoning has revolutionized how AWS demonstrates the security of controls. This new model is called provable security, where automated reasoning tools apply mathematical logic to help answer critical questions about your infrastructure.

In this talk, learn how AWS has used automated reasoning to prove the security properties of AWS access controls, namely IAM authorization. In addition, the talk covers the capabilities and services AWS has built for users to verify their own security postures.

For example, AWS has used provable security techniques in the development of Cedar, an open source policy language that is now available to use in the custom applications through Amazon Verified Permissions.

Learn more:
AWS re:Inforce: https://go.aws/reinforce
AWS events: https://go.aws/3kss9CP

Subscribe:
More AWS videos: http://bit.ly/2O3zS75
More AWS events videos: http://bit.ly/316g9t4

ABOUT AWS
Amazon Web Services (AWS) hosts events, both online and in-person, bringing the cloud computing community together to connect, collaborate, and learn from AWS experts. AWS is the world’s most comprehensive and broadly adopted cloud platform, offering over 200 fully featured services from data centers globally. Millions of customers—including the fastest-growing startups, largest enterprises, and leading government agencies—are using AWS to lower costs, become more agile, and innovate faster.

#AWSEvents #reInforce2024 #CloudSecurity #AWS #AmazonWebServices #CloudComputing