Sécurité vérifiable

Assurance de la sécurité, renforcée par des preuves mathématiques

Nous nous engageons à vous aider à atteindre les plus hauts niveaux de sécurité dans le cloud. Nous avons développé des outils de raisonnement automatisé qui utilisent la logique mathématique pour aider à répondre aux questions critiques sur votre infrastructure afin de détecter les erreurs de configuration qui pourraient exposer vos données. Nous appelons cela la sécurité vérifiable, car celle-ci fournit une assurance plus élevée en matière de sécurité du cloud et dans le cloud.

Fonctionnalités de la sécurité vérifiable
Ressources de la sécurité vérifiable

Qu'est-ce que le raisonnement automatisé ? (2:56)

Fonctionnement

Nous appliquons le raisonnement automatisé dans les principaux domaines de service comme le stockage, la mise en réseau, la virtualisation, l'identité et le chiffrement. Vous pouvez voir le raisonnement automatisé en action dans Amazon CodeGuru, Amazon Simple Storage Service (Amazon S3), AWS Identity and Access Management (IAM), Amazon VPC Network Access Analyzer et l'Analyseur d'accessibilité Amazon VPC.
  • Amazon CodeGuru
  • Amazon CodeGuru Reviewer utilise le raisonnement automatisé et le machine learning pour identifier les problèmes critiques, les faiblesses de sécurité et les bogues difficiles à trouver pendant le développement des applications. De plus, il fournit des recommandations pour améliorer la qualité du code.

  • Amazon S3 Block Public Access
  • S3 Block Public Access utilise le raisonnement automatisé pour réaliser des contrôles sur l'ensemble d'un compte AWS ou au niveau de chaque compartiment Amazon S3 afin de garantir que les objets ne seront jamais accessibles au public, maintenant ou à l'avenir.

  • IAM Access Analyzer
  • AWS Identity and Access Management (IAM) Access Analyzer utilise le raisonnement automatisé pour analyser tous les chemins d'accès publics et intercomptes à vos ressources, et fournit une analyse complète de ces chemins.

  • Amazon VPC Network Access Analyzer
  • Network Access Analyzer utilise le raisonnement automatisé pour identifier les chemins accessibles et valider les invariables de sécurité dans votre réseau AWS.

  • Analyseur d'accessibilité Amazon VPC
  • L’analyseur d'accessibilité se sert d'un raisonnement automatisé pour identifier les chemins possibles et expliquer les chemins impossibles dans votre réseau AWS.

Recherche et informations

Un milliard de requêtes SMT par jour

Dans ce discours d'ouverture de la conférence Computer-Aided Verification (CAV), Neha Rungta, directrice des sciences appliquées pour AWS Identity, explique comment AWS rend la puissance du raisonnement automatisé disponible pour tous ses clients.

Les stages avec le groupe de raisonnement automatisé AWS vous intéressent ?

Vous souhaitez résoudre certains des problèmes de sécurité cloud les plus complexes ?


En savoir plus sur AWS