ARG: How AWS Service Teams use Automated Reasoning for Security
4 850
26.5
Amazon Web Services766 тыс
Следующее
12.12.17 – 1 2272:51Популярные
8 дней – 62813:15
45 дней – 1 0313:05Опубликовано 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
Subscribe:
More AWS videos bit.ly/2O3zS75
More AWS events videos bit.ly/316g9t4
#AWS
Свежие видео
22 часа – 9880:17
2 дня – 3201:08
3 дня – 308 2849:24
4 дня – 1 2231:00
Случайные видео
142 дня – 1 0645:16
160 дней – 11 2750:42
177 дней – 1 339 3740:20
222 дня – 109 4887:16
08.06.21 – 747 19110:20
28.06.14 – 110 9678:08
1 день – 45 8458:42
1 день – 1 3251:44
2 дня – 1 610 19131:26
3 дня – 352 2010:15
3 дня – 2 8410:50
5 дней – 57 4150:20