การรักษาความปลอดภัยที่พิสูจน์ได้

การรับประกันความปลอดภัย ได้รับการสนับสนุนโดยการพิสูจน์ทางคณิตศาสตร์

มุ่งมั่นที่จะช่วยให้บรรลุระดับความปลอดภัยสูงสุดในระบบคลาวด์ ได้พัฒนาเครื่องมือการให้เหตุผลแบบอัตโนมัติที่ใช้ตรรกะทางคณิตศาสตร์เพื่อตอบคำถามที่สำคัญเกี่ยวกับโครงสร้างพื้นฐานเพื่อตรวจหาการกำหนดค่าที่ไม่ถูกต้องซึ่งอาจทำให้ข้อมูลรั่วไหล เรียกสิ่งนี้ว่าการรักษาความปลอดภัยที่พิสูจน์ได้ ซึ่งให้ความมั่นใจในความปลอดภัยของระบบคลาวด์และในระบบคลาวด์ที่สูงขึ้น

คุณสมบัติของการรักษาความปลอดภัยที่พิสูจน์ได้
ทรัพยากรของการรักษาความปลอดภัยที่พิสูจน์ได้
การให้เหตุผลโดยอัตโนมัติคืออะไร (2:56)

วิธีทำงาน

ใช้การให้เหตุผลอัตโนมัติในพื้นที่บริการหลัก เช่น การจัดเก็บข้อมูล การสร้างเครือข่าย การจำลองระบบเสมือน ข้อมูลประจำตัว และการเข้ารหัส คุณสามารถดูการให้เหตุผลอัตโนมัติในที่ทำงานได้ใน Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer, Amazon VPC Reachability Analyzer และ Amazon Verified Permission
  • Amazon CodeGuru

  • Amazon CodeGuru Reviewer ใช้การเรียนรู้ของเครื่องและการให้เหตุผลแบบอัตโนมัติเพื่อระบุปัญหาที่สำคัญ ช่องโหว่ด้านความปลอดภัย และข้อผิดพลาดที่พบได้ยากในระหว่างการพัฒนาแอปพลิเคชัน รวมถึงให้คำแนะนำในการปรับปรุงคุณภาพโค้ดให้ดียิ่งขึ้นอีกด้วย นอกจากนี้ยังให้คำแนะนำในการปรับปรุงคุณภาพโค้ดอีกด้วย

  • Amazon S3 ปิดกั้นการเข้าถึงจากสาธารณะ

  • S3 ปิดกั้นการเข้าถึงจากสาธารณะโดยใช้การให้เหตุผลอัตโนมัติเพื่อให้การควบคุมทั่วทั้งบัญชีของ AWS หรือที่ระดับบัคเก็ตของ Amazon S3 แต่ละรายการ เพื่อช่วยให้แน่ใจว่าวัตถุจะไม่มีการเข้าถึงแบบสาธารณะในตอนนี้หรือในอนาคต

  • IAM Access Analyzer

  • ตัววิเคราะห์การเข้าถึง AWS Identity and Access Management (IAM) ใช้การให้เหตุผลอัตโนมัติเพื่อวิเคราะห์เส้นทางการเข้าถึงแบบสาธารณะและสิทธิ์เข้าถึงแบบข้ามบัญชีไปยังทรัพยากร และให้การวิเคราะห์ที่ครอบคลุมของเส้นทางเหล่านั้น

  • Amazon VPC Network Access Analyzer

  • Network Access Analyzer ใช้การให้เหตุผลอัตโนมัติเพื่อระบุเส้นทางที่เข้าถึงได้และตรวจสอบค่าคงที่ความปลอดภัยในเครือข่าย AWS

  • Amazon VPC Reachability Analyzer

  • Reachability Analyzer ใช้การให้เหตุผลอัตโนมัติเพื่อระบุเส้นทางที่เป็นไปได้ และอธิบายเส้นทางที่เป็นไปไม่ได้ในเครือข่าย AWS ของคุณ

  • สิทธิ์ที่ยืนยันโดย Amazon

  • สิทธิ์ที่ยืนยันโดย Amazon ใช้การให้เหตุผลอัตโนมัติเพื่อกําหนดสิทธิ์แบบละเอียดให้กับผู้ใช้แอปพลิเคชัน

งานวิจัยและข้อมูลเชิงลึก

หนึ่งพันล้านข้อความค้นหาของ SMT ต่อวัน

ในประเด็นของการประชุม Computer-Aided Verification (CAV) นี้ Neha Rungta ผู้อำนวยการด้านวิทยาศาสตร์ประยุกต์ของ AWS Identity อธิบายว่า AWS ทำให้ลูกค้าทุกคนสามารถใช้อำนาจของการใช้เหตุผลอัตโนมัติได้อย่างไร

หากสนใจฝึกงานกับกลุ่มการให้เหตุผลอัตโนมัติ AWS

หากต้องการแก้ปัญหาความปลอดภัยระบบคลาวด์ที่ท้าทายที่สุด

โปรดแจ้งให้เราทราบ

สำรวจ AWS เพิ่มเติม