Segurança comprovável

Garantia de segurança, com comprovação matemática

Estamos comprometidos em ajudar você a alcançar os mais altos níveis de segurança na nuvem. Desenvolvemos ferramentas de raciocínio automatizado que utilizam lógica matemática para responder à perguntas críticas sobre sua infraestrutura para detectar erros de configuração que poderiam causar a exposição dos seus dados. Chamamos isso de segurança comprovável porque ela oferece maior garantia para a segurança da nuvem e na nuvem.

O que é o raciocínio automatizado? (2:56)

Como funciona

Aplicamos o raciocínio automatizado em importantes áreas de serviço, como armazenamento, redes, virtualização, identidade e criptografia. Você pode ver o raciocínio automatizado funcionando no Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer, Amazon VPC Reachability Analyzer e Amazon Verified Permissions.
  • Amazon CodeGuru
  • O Amazon CodeGuru Reviewer usa raciocínio automatizado e machine learning para identificar problemas críticos, vulnerabilidades de segurança e erros difíceis de encontrar durante o desenvolvimento de aplicações. Ele também fornece recomendações para melhorar a qualidade do código.

  • Amazon S3 Block Public Access
  • O S3 Block Public Access usa o raciocínio automatizado para fornecer controles em toda uma conta da AWS ou no nível do bucket do Amazon S3 individual para garantir que os objetos nunca tenham acesso público, agora e no futuro.

  • IAM Access Analyzer
  • O AWS Identity and Access Management (IAM) Access Analyzer utiliza o raciocínio automatizado para analisar todos os caminhos de acesso públicos e entre contas aos seus recursos e fornece uma análise abrangente desses caminhos.

  • Amazon VPC Network Access Analyzer
  • O Network Access Analyzer utiliza o raciocínio automatizado para identificar caminhos alcançáveis e validar invariantes de segurança em sua rede da AWS.

  • Amazon VPC Reachability Analyzer
  • O Reachability Analyzer usa raciocínio automatizado para identificar caminhos viáveis e explicar caminhos inviáveis em sua rede AWS.

  • Amazon Verified Permissions
  • O Amazon Verified Permissions usa raciocínio automatizado para definir permissões refinadas para usuários da aplicação.

Pesquisa e insights

Um bilhão de consultas de SMT por dia

Em sua apresentação na Conferência Computer-Aided Verification (CAV), Neha Rungta, diretora de ciências aplicadas do AWS Identity, explica como a AWS está disponibilizando o poder do raciocínio automatizado para todos os seus clientes.

Interessado em estágios no AWS Automated Reasoning Group?

Quer resolver alguns dos problemas de segurança da nuvem mais desafiadores?


Veja mais sobre a AWS