AWS 使用 Tiros 自动验证 Cloud WAN 网络分段

AWS介绍使用自动化推理工具 Tiros 验证 Cloud WAN 网络分段的方法，可检查全部建模路径中是否存在违反隔离策略的连接。系统从路由表、attachments 和策略文档生成逻辑命题与可达路径，若实际可达性不符合预期便向运维人员告警。该方法不依赖动态数据包采样，可每小时分析一次部署网络拓扑，无需另做可达性测试。

来源：Amazon Science · 阅读原文 · 前沿热点