ARG: How AWS Service Teams use Automated Reasoning for Security

4 890
27.2
Опубликовано 12 декабря 2017, 16:49
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 - amzn.to/2z1NSXY.

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

#AWS
автотехномузыкадетское