Neha from the AWS Security Automated Reasoning Group explains how her team built new rules for AWS Config and Amazon Macie. You’ll learn about semantics-based reasoning and formal verification techniques, and how we use these at AWS to improve and automate security, both internally and for customers. Learn more at – http://amzn.to/2z1NSXY.
Duration: 7:18
Publisher: Amazon Web Services
You can watch this video also at the source.