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 Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), el analizador de acceso de la red de Amazon VPC, el analizador de accesibilidad de Amazon VPC y Amazon Verified Permissions.
Amazon CodeGuru
El Revisor de Amazon 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.

Amazon 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 Amazon 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 Amazon VPC
El Analizador de acceso de la red de Amazon VPC utiliza el razonamiento automatizado para identificar rutas accesibles y validar invariantes de seguridad en la red de AWS.

Analizador de accesibilidad de Amazon VPC
El Analizador de accesibilidad de Amazon VPC utiliza el razonamiento automatizado para identificar rutas viables y explicar rutas no viables en la red de AWS.

Cree con seguridad demostrable
Amazon Verified Permissions utiliza el razonamiento automatizado para definir permisos detallados para los usuarios de la aplicación. Amazon 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.