FSI304 - Bridgewater's Model-Based Verification of AWS Security Controls

Bridgewater Associates, the world’s largest hedge fund, operates a fleet of AWS accounts with different levels of information sensitivity and risk tolerance. To manage the risk these discrepancies introduce, Bridgewater developed an automated reasoning process that analyzes security policies and operationalizes them into an automated control validation and response system. In this talk, security leaders from Bridgewater describe the system they use to verify security controls. Learn about model-based verification approaches to security and how these approaches enable Bridgewater to confirm that security requirements are being met—an assurance previously unavailable by the conventional configuration checking and vulnerability scanning of other tools.