Seguridad comprobable

Control de seguridad demostrado matemáticamente

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.

Características de la seguridad comprobable
Recursos de seguridad comprobable

¿Qué es el razonamiento automatizado? (2:56)

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 accesibilidad a la red de Amazon VPC y el Analizador de accesibilidad de Amazon VPC.
  • 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 a la red utiliza razonamiento automatizado para identificar rutas accesibles y validar elementos invariables de seguridad en su red de AWS.

  • Analizador de accesibilidad de Amazon VPC
  • El Analizador de accesibilidad usa el razonamiento automatizado para identificar las rutas viables (además de explicar las inviables) en la red de AWS.

Investigación e información

A billion SMT queries a day (Mil millones de consultas SMT al día)

En esta ponencia inaugural de la Computer-Aided Verification (CAV) Conference (Conferencia sobre verificación asistida por computadora), Neha Rungta, directora de Ciencias Aplicadas en AWS Identity, explica cómo AWS está poniendo a disposición de todos sus clientes la potencia del razonamiento automatizado.

¿Le gustaría realizar unas prácticas en el grupo de razonamiento automatizado de AWS?

¿Quiere resolver algunos de los problemas de seguridad en la nube más desafiantes?


Ver más sobre AWS