Amazon uses math to validate network configurations
The story so far
Amazon Web Services uses its automated reasoning tool Tiros to validate network isolation by converting network configurations into logical propositions and analyzing possible paths in the model to check if segmentation aligns with declared policies, replacing traditional dynamic sampling methods. Previously, Tiros had been used in customer-facing services such as Amazon Inspector, VPC Reachability Analyzer, and Network Access Analyzer, which focus on reachability, or determining whether a sequence of valid requests can lead from one network resource to another. Amazon Web Services’ automated-reasoning tool for analyzing network connectivity, Tiros, is designed to offer an alternative to dynamic sampling that validates segmentation across all modeled paths.
AI-written from the reports · Updated 3 days ago
Coverage timeline
Follow the coverage to see every side of the story.
- Amazon ScienceUsing mathematical methods to verify network configuration.
Amazon Web Services uses its automated reasoning tool Tiros to verify network isolation by converting network configurations into logical propositions and analyzing possible paths in the model to check if isolation complies with stated policies, replacing traditional dynamic sampling methods.
Heat over time
- Now
- 3
- Peak
- 1012 Nov, 02:00
- 24h change
- -50%
Hover or tap the chart to see each hour; use the arrow keys on a keyboard.