AWS, Tiros로 네트워크 세분화 수학적 검증 도입

AWS가 자동 추론 도구인 Tiros를 활용해 동적 패킷 샘플링 대신 모델링된 모든 경로를 검증하는 네트워크 세분화 방법을 도입함
Cloud WAN 설정(라우트 테이블, 첨부 파일, 정책 문서)을 논명 명제로 변환하여 네트워크 토폴로지가 격리 사양과 일치함을 수학적으로 증명함
Tiros가 배포된 네트워크 토폴로지를 최대 1시간 간격으로 분석하여 정책상 격리되어야 하는 리소스 간 경로 부재를 식별함
접근이 금지된 세그먼트 간 경로가 존재하지 않는지 확인하며, 실제 도달 가능성이 예상 세분화와 일치하면 검증 성공, 불일치 시 운영자에게 알림을 전송함
해당 정적 프로세스는 AWS Cloud WAN에 적용되며, IAM Access Analyzer에 사용되는 Zelkova를 포함한 AWS의 자동 추론 전략의 일부로, 고갈 테스트가 불가능한 대규모 시스템을 분석하는 데 활용됨

핵심 내용