To help its Amazon Web Services customers keep their data secure, the AWS Automated Reasoning Group is beta-testing two new tools, Zelkova and Tiros, which analyze security configurations, provide automated feedback on various set-ups and help administrators avoid mistakes that could endanger their data. Tiros focuses on checking for “unexpected access from the open Internet,” and Zelkova aids developers in understanding how permissive their setups are compared to existing infrastructure. Continue reading Amazon Web Services Testing Two ‘Provable’ Security Tools