Keamanan yang Dapat Dibuktikan
Jaminan keamanan, didukung oleh bukti matematika
Apa yang Dimaksud dengan Keamanan yang Dapat Dibuktikan?
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 alat ini memberikan jaminan keamanan cloud dan keamanan di dalam cloud yang lebih tinggi.
Pelajari Selengkapnya:
Fitur keamanan yang dapat dibuktikan | Sumber daya keamanan yang dapat dibuktikan
Cara kerjanya
Kami menerapkan penalaran otomatis di area layanan utama seperti penyimpanan, jaringan, virtualisasi, identitas, dan kriptografi. Anda dapat melihat kerja penalaran otomatis di HAQM CodeGuru, HAQM Simple Storage Service (HAQM S3), AWS Identity and Access Management (IAM), Penganalisis Akses Jaringan HAQM VPC, HAQM VPC Reachability Analyzer, dan Izin Terverifikasi HAQM.
HAQM CodeGuru
HAQM CodeGuru Reviewer menggunakan penalaran otomatis dan machine learning untuk mengidentifikasi masalah kritis, kerentanan keamanan, dan bug yang sulit ditemukan selama pengembangan aplikasi. HAQM CodeGuru Reviewer juga menyediakan rekomendasi untuk meningkatkan kualitas kode.
HAQM S3 Block Public Access
S3 Block Public Access menggunakan penalaran otomatis guna menyediakan alat kontrol di seluruh Akun AWS atau pada level bucket HAQM 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.
HAQM VPC Network Access Analyzer
Penganalisis Akses Jaringan HAQM VPC menggunakan penalaran otomatis untuk mengidentifikasi jalur yang dapat dijangkau dan memvalidasi invarian keamanan di jaringan AWS Anda.
HAQM VPC Reachability Analyzer
HAQM VPC Reachability Analyzer menggunakan penalaran otomatis untuk mengidentifikasi jalur yang layak, dan menjelaskan jalur yang tidak layak di jaringan AWS Anda.
Bangun dengan keamanan yang dapat dibuktikan
Izin Terverifikasi HAQM menggunakan penalaran otomatis untuk menentukan izin terperinci bagi pengguna aplikasi. Izin Terverifikasi HAQM adalah layanan otorisasi terkelola sepenuhnya yang menggunakan bahasa kebijakan Cedar yang terbukti benar, sehingga Anda dapat membangun aplikasi yang lebih aman. Dengan Izin Terverifikasi, developer dapat membangun aplikasi lebih cepat dengan mengeksternalisasi otorisasi dan memusatkan manajemen kebijakan.