AWS Tiros sử dụng lập luận hình thức để xác thực phân đoạn mạng
Bắt đầu từ đây
AWS đang sử dụng Tiros, công cụ lập luận tự động của mình, để kiểm tra tĩnh phân đoạn mạng trên tất cả các đường dẫn được mô hình hóa trong cấu hình Cloud WAN, thay vì dựa vào lấy mẫu dựa trên gói tin. Theo Amazon Science, Tiros chuyển đổi bảng định tuyến, tệp đính kèm và tài liệu chính sách thành các mệnh đề logic, sau đó xác minh rằng không tồn tại đường dẫn nào giữa các phân đoạn mà chính sách tuyên bố là ngoài giới hạn. Các kiểm tra có thể chạy thường xuyên tới mỗi giờ một lần. Vì phân tích bao quát mọi đường dẫn được mô hình hóa thay vì lưu lượng được lấy mẫu, nó nhằm phát hiện các vi phạm phân đoạn mà việc lấy mẫu gói tin có thể bỏ sót.
Tạo từ các bài viết · cập nhật 14 giờ trước
Dòng thời gian bài viết
Theo các bài viết để thấy sự việc từ nhiều phía.
- Amazon ScienceDùng toán học để xác thực cấu hình mạng: AWS Tiros cho kiểm tra phân đoạn
AWS đang sử dụng công cụ lập luận tự động Tiros để xác thực tĩnh việc phân đoạn mạng trên tất cả các đường đi được mô hình hóa, thay vì dựa vào lấy mẫu dựa trên gói tin. Tiros chuyển đổi cấu hình Cloud WAN từ bảng định tuyến, tệp đính kèm và tài liệu chính sách thành các mệnh đề logic, sau đó kiểm tra rằng không tồn tại đường đi nào giữa các phân đoạn mà chính sách tuyên bố là ngoài giới hạn, với các phân tích được chạy thường xuyên tới mỗi giờ một lần.
Độ nóng của sự việc này
Chưa đủ quan sát liên tục để vẽ xu hướng.