Seguridad comprobable
Control de seguridad demostrado matemáticamente
¿Qué es la seguridad comprobable?
Nos comprometemos a ayudarlo a alcanzar los niveles más exigentes de seguridad en la nube. Hemos desarrollado herramientas de razonamiento automatizado que utilizan lógica matemática para responder a preguntas críticas sobre su infraestructura, y así detectar errores de configuración potenciales que podrían exponer sus datos. Esto se conoce como seguridad comprobable, ya proporciona un mayor control de seguridad tanto dentro como fuera de la nube.
Más información:
Características de seguridad comprobable | Recursos de seguridad comprobable
Funcionamiento
Aplicamos razonamiento automatizado en áreas de servicio clave como almacenamiento, redes, virtualización, identidad y criptografía. Puede ver el razonamiento automatizado en funcionamiento en HAQM CodeGuru, HAQM Simple Storage Service (HAQM S3), AWS Identity and Access Management (IAM), el analizador de acceso de la red de HAQM VPC, el analizador de accesibilidad de HAQM VPC y HAQM Verified Permissions.
HAQM CodeGuru
El Revisor de HAQM CodeGuru utiliza razonamiento automatizado y machine learning para identificar problemas críticos, vulnerabilidades de seguridad y errores difíciles de encontrar durante el desarrollo de la aplicación. También brinda recomendaciones para mejorar la calidad del código.
HAQM S3 Block Public Access
S3 Block Public Access utiliza razonamiento automatizado para proporcionar controles en toda una cuenta de AWS o a nivel del bucket de HAQM S3 individual para garantizar que los objetos nunca tengan acceso público, ni ahora ni en el futuro.
Analizador de acceso de IAM
El Analizador de acceso de AWS Identity and Access Management (AWS IAM) utiliza razonamiento automatizado para analizar todas las rutas de acceso públicas y entre cuentas a sus recursos y brinda un análisis exhaustivo de dichas rutas.
Analizador de acceso a la red de HAQM VPC
El Analizador de acceso de la red de HAQM VPC utiliza el razonamiento automatizado para identificar rutas accesibles y validar invariantes de seguridad en la red de AWS.
Analizador de accesibilidad de HAQM VPC
El Analizador de accesibilidad de HAQM VPC utiliza el razonamiento automatizado para identificar rutas viables y explicar rutas no viables en la red de AWS.
Cree con seguridad demostrable
HAQM Verified Permissions utiliza el razonamiento automatizado para definir permisos detallados para los usuarios de la aplicación. HAQM Verified Permissions es un servicio de autorización totalmente administrado que utiliza el lenguaje de políticas de Cedar, que se ha demostrado que es correcto, para que pueda crear aplicaciones más seguras. Con Verified Permissions, los desarrolladores pueden crear aplicaciones con mayor rapidez mediante la externalización de la autorización y la centralización de la administración de políticas.