Keamanan yang Dapat Dibuktikan

Jaminan Keamanan, Didukung oleh Bukti Matematika

Kami berkomitmen untuk membantu Anda meraih level keamanan tertinggi di cloud. Kami telah mengembangkan alat penalaran otomatis yang menggunakan logika matematika untuk menjawab pertanyaan-pertanyaan kritis tentang infrastruktur Anda guna mendeteksi kesalahan konfigurasi yang berpotensi memaparkan data Anda. Kami menyebutnya keamanan yang dapat dibuktikan karena memberikan jaminan lebih tinggi untuk keamanan cloud dan keamanan di dalam cloud.

Fitur Keamanan yang Dapat Dibuktikan
Sumber Daya Keamanan yang Dapat Dibuktikan

Apa itu penalaran otomatis? (2:56)

Cara kerja

Kami menerapkan penalaran otomatis di area layanan utama seperti penyimpanan, jaringan, virtualisasi, identitas, dan kriptografi. Anda dapat melihat kerja penalaran otomatis di Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer, dan Amazon VPC Reachability Analyzer.
  • Amazon CodeGuru
  • Amazon CodeGuru Reviewer menggunakan penalaran otomatis dan machine learning untuk mengidentifikasi masalah kritis, kerentanan keamanan, dan bug yang sulit ditemukan selama pengembangan aplikasi. Amazon CodeGuru Reviewer juga menyediakan rekomendasi untuk meningkatkan kualitas kode.

  • Amazon S3 Block Public Access
  • S3 Block Public Access menggunakan penalaran otomatis guna menyediakan alat kontrol di seluruh Akun AWS atau pada level bucket Amazon S3 individual untuk memastikan bahwa objek tidak pernah memiliki akses publik, pada saat ini dan seterusnya.

  • IAM Access Analyzer
  • AWS Identity and Access Management (IAM) Access Analyzer menggunakan penalaran otomatis untuk menganalisis semua jalur akses publik dan akses lintas akun ke sumber daya Anda serta memberikan analisis komprehensif dari jalur tersebut.

  • Amazon VPC Network Access Analyzer
  • Network Access Analyzer menggunakan penalaran otomatis untuk mengidentifikasi jalur yang dapat dijangkau dan memvalidasi invarian keamanan di jaringan AWS Anda.

  • Amazon VPC Reachability Analyzer
  • Reachability Analyzer menggunakan penalaran otomatis untuk mengidentifikasi jalur yang mungkin diambil, dan menjelaskan jalur yang tidak tampak, di jaringan AWS Anda.

Riset dan wawasan

Miiaran kueri SMT per hari

Dalam pidato kunci di Konferensi Computer-Aided Verification (CAV) ini, Neha Rungta, direktur ilmu terapan untuk AWS Identity, menjelaskan cara AWS menyediakan kekuatan penalaran otomatis bagi semua pelanggannya.

Tertarik untuk magang di Grup Penalaran Otomatis AWS?

Ingin memecahkan beberapa masalah keamanan cloud yang paling menantang?


Jelajahi lebih lanjut tentang AWS