How AWS uses automated reasoning to help you achieve security at scaleaws.amazon.com·1 pts·ghettoimp·0