AWS Tiros Uses Formal Reasoning to Validate Network Segmentation
เนื้อหานี้ยังไม่มีในภาษาของคุณ จึงแสดงเป็นEnglish
เริ่มตรงนี้
AWS is using Tiros, its automated-reasoning tool, to statically check network segmentation across all modeled paths in Cloud WAN configurations, instead of relying on packet-based sampling. Tiros converts route tables, attachments and policy documents into logical propositions, then verifies that no path exists between segments the policy declares off limits, according to Amazon Science. The checks can run as often as every hour. Because the analysis covers every modeled path rather than sampled traffic, it is meant to catch segmentation violations that packet sampling could miss.
สร้างจากรายงาน · อัปเดต 13 ชม. ที่แล้ว
ไทม์ไลน์รายงาน
ไล่ตามรายงานเพื่อดูเหตุการณ์นี้จากหลายด้าน
- Amazon Scienceใช้คณิตศาสตร์ตรวจสอบการกำหนดค่าเครือข่าย: AWS Tiros สำหรับการตรวจสอบการแบ่งส่วน
AWS ใช้เครื่องมือตรวจสอบอัตโนมัติ Tiros ของตนเพื่อตรวจสอบการแบ่งส่วนเครือข่ายแบบสแตติกในทุกเส้นทางที่จำลองขึ้น แทนการพึ่งพาการสุ่มตัวอย่างแพ็กเก็ต Tiros แปลงการกำหนดค่า Cloud WAN จากตารางเส้นทาง สิ่งที่เชื่อมต่อ และเอกสารนโยบายให้เป็นข้อเสนอเชิงตรรกะ จากนั้นตรวจสอบว่าไม่มีเส้นทางใดอยู่ระหว่างส่วนที่ถูกประกาศห้ามโดยนโยบาย โดยดำเนินการวิเคราะห์บ่อยครั้งถึงทุกชั่วโมง
ความร้อนแรงของเหตุการณ์นี้
ยังมีการเฝ้าดูต่อเนื่องไม่พอจะวาดแนวโน้ม