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 Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Penganalisis Akses Jaringan Amazon VPC, Amazon VPC Reachability Analyzer, dan Izin Terverifikasi Amazon.
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
Penganalisis Akses Jaringan Amazon VPC menggunakan penalaran otomatis untuk mengidentifikasi jalur yang dapat dijangkau dan memvalidasi invarian keamanan di jaringan AWS Anda.
Amazon VPC Reachability Analyzer
Amazon 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 Amazon menggunakan penalaran otomatis untuk menentukan izin terperinci bagi pengguna aplikasi. Izin Terverifikasi Amazon 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.